|
|
|
|
BC 135 F8 H1 : Frege's doctrine of being.; BJL
|
|
|
|
Frege's doctrine of being.
BJL
|
BOOK
|
1985
|
|
|
BC 135 F8 K6 : Essays on Frege.; BJL
|
|
|
|
Essays on Frege.
BJL
|
BOOK
|
1968
|
|
|
BC 135 F8 M5 : The philosophy of Gottlob Frege.; BJL
|
|
|
|
The philosophy of Gottlob Frege.
BJL
|
BOOK
|
2005
|
|
|
BC 135 F8 R4 : Frege and the philosophy of mathematics.; BJL
|
|
|
|
Frege and the philosophy of mathematics.
BJL
|
BOOK
|
1980
|
|
|
BC 135 F8 S1 : Departing from Frege : essays in the philosophy of language.; BJL
|
|
|
|
Departing from Frege : essays in the philosophy of language.
BJL
|
BOOK
|
2002
|
|
|
BC 135 F8 S6 : Gottlob Frege.; BJL
|
|
|
|
Gottlob Frege.
BJL
|
BOOK
|
1980
|
|
|
BC 135 F8 W9 : Frege's conception of numbers as objects.; BJL
|
|
|
|
Frege's conception of numbers as objects.
BJL
|
BOOK
|
1983
|
|
|
BC 135 F8 Z6
|
|
|
|
Sense and reference in Frege's logic / tr. by T.J. Blakeley.
BJL
|
BOOK
|
1968
|
|
A study of Frege.
BJL
|
BOOK
|
1965
|
|
Two Soviet studies on Frege / edited by I. Angelelli.
BJL
|
BOOK
|
1964
|
|
|
BC 135 F8 Z62
|
|
|
|
Frege and other philosophers.
BJL
|
BOOK
|
1991
|
|
Frege's theory of sense and reference : its origins and scope.
BJL
|
BOOK
|
1994
|
|
|
BC 135 G3 : The collected papers of Gerhard Gentzen / edited by M.E. Szabo.; BJL
|
|
|
|
The collected papers of Gerhard Gentzen / edited by M.E. Szabo.
BJL
|
BOOK
|
1969
|
|
|
BC 135 G5 : On formally undecidable propositions of Principia mathematica and related systems.; BJL
|
|
|
|
On formally undecidable propositions of Principia mathematica and related systems.
BJL
|
BOOK
|
1962
|
|
|
BC 135 H1
|
|
|
|
Deviant logic : some philosophical issues.
BJL
|
BOOK
|
1974
|
|
Systems of formal logic.
BJL
|
BOOK
|
1966
|
|
|
BC 135 H3 : Introduction to the basic concepts and problems of modern logic.; BJL
|
|
|
|
Introduction to the basic concepts and problems of modern logic.
BJL
|
BOOK
|
1972
|
|
|
BC 135 H5 : Structure, method and meaning / essays in honor of Henny M. Sheffer. edited by P. Henle, H.M. Kallen and S.K. Langer.; BJL
|
|
|
|
Structure, method and meaning / essays in honor of Henny M. Sheffer. edited by P. Henle, H.M. Kallen
BJL
|
BOOK
|
1951
|
|
|
BC 135 H6
|
|
|
|
Distributive normal forms in the calculus of predicates.
BJL
|
BOOK
|
1953
|
|
The philosophy of mathematics / edited by Jaakko Hintikka.
BJL
|
BOOK
|
1969
|
|
Two papers on symbolic logic.
BJL
|
BOOK
|
1955
|
|
|
BC 135 H9 : Metalogic : an introduction to the metatheory of standard first order logic.; BJL
|
|
|
|
Metalogic : an introduction to the metatheory of standard first order logic.
BJL
|
BOOK
|
1971
|
|
|
BC 135 I8 : Mathematical logic and foundations of set theory.; BJL
|
|
|
|
Mathematical logic and foundations of set theory.
BJL
|
BOOK
|
1970
|
|
|
BC 135 K1 : Logic : techniques of formal reasoning / edited by D. Kalish and R. Montague.; BJL
|
|
|
|
Logic : techniques of formal reasoning / edited by D. Kalish and R. Montague.
BJL
|
BOOK
|
1964
|
|
|
BC 135 K2 : First order functional calculus.; BJL
|
|
|
|
First order functional calculus.
BJL
|
BOOK
|
1964
|
|
|
BC 135 K6
|
|
|
|
The foundations of intuitionistic mathematics, especially in recursive functions.
BJL
|
BOOK
|
1965
|
|
Mathematical logic and the foundations of mathematics.
BJL
|
BOOK
|
1963
|
|
|
BC 135 K9 : Set theory.; BJL
|
|
|
|
Set theory.
BJL
|
BOOK
|
1968
|
|
|
BC 135 L2 : An introduction to symbolic logic.; BJL
|
|
|
|
An introduction to symbolic logic.
BJL
|
BOOK
|
1953
|
|
|
BC 135 L4
|
|
|
|
Statistical and inductive probabilities.
BJL
|
BOOK
|
1962
|
|
Symbolic logic.
BJL
|
BOOK
|
1962
|
|
Techniques of deductive inference.
BJL
|
BOOK
|
1966
|
|
Truth-value semantics.
BJL
|
BOOK
|
1976
|
|
|
BC 135 L6
|
|
|
|
Levels of Abstraction on Logic and Human Action / editor. E. Jaques with R.O. Gibson and D.J. Isaac.
BJL
|
BOOK
|
1978
|
|
Papers in philosophical logic.
BJL
|
BOOK
|
1998
|
|
A survey of symbolic logic.
BJL
|
BOOK
|
1960
|
|
|
BC 135 L8
|
|
|
|
Contributions to mathematical logic / editedby H.A. Schmidt, K. Schutte and H.J. Thiele.
BJL
|
BOOK
|
1968
|
|
Einführung in die operative Logik und mathematik.
BJL
|
BOOK
|
1969
|
|
Logic colloquium 69 / edited by R.O. Gandy and C.M.E. Yates.
BJL
|
BOOK
|
1971
|
|
|
BC 135 L9
|
|
|
|
Elements of mathematical logic.
BJL
|
BOOK
|
1963
|
|
Notes on logic.
BJL
|
BOOK
|
1966
|
|
Selected works.
BJL
|
BOOK
|
1970
|
|
|
BC 135 M2 : Topics in modern logic.; BJL
|
|
|
|
Topics in modern logic.
BJL
|
BOOK
|
1973
|
|
|
BC 135 M3 : The notion of analytic truth.; BJL
|
|
|
|
The notion of analytic truth.
BJL
|
BOOK
|
1959
|
|
|
BC 135 M4
|
|
|
|
Elementary logic.
BJL
|
BOOK
|
1972
|
|
Elementary logic.
BJL
|
BOOK
|
1965
|
|
Understanding symbolic logic.
BJL
|
BOOK
|
1970
|
|
|
BC 135 M9
|
|
|
|
Logic and social choice.
BJL
|
BOOK
|
1968
|
|
Thirty years of foundational studies : 1930-64.
BJL
|
BOOK
|
1966
|
|
|
BC 135 N1 : Godel's proof / edited by E. Nagel and J.R. Newman.; BJL
|
|
|
|
Godel's proof / edited by E. Nagel and J.R. Newman.
BJL
|
BOOK
|
1959
|
|
|
BC 135 N6
|
|
|
|
Elementary logic of science and mathematics.
BJL
|
BOOK
|
1960
|
|
Propositional calculus.
BJL
|
BOOK
|
1962
|
|
|
BC 135 O5 : On being and saying : essays for Richard Cartwright / edited by J.J. Thomson.; BJL
|
|
|
|
On being and saying : essays for Richard Cartwright / edited by J.J. Thomson.
BJL
|
BOOK
|
1987
|
|
|
BC 135 P5
|
|
|
|
Philosophy of mathematics : selected readings / edited and with an introduction by P. Benacerraf and
BJL
|
BOOK
|
1964
|
|
Philosophy of mathematics : selected readings / edited by P. Benacerraf [and] H. Putnam.
BJL
|
BOOK
|
1983
|
|
|
BC 135 Q7
|
|
|
|
Elementary logic.
BJL
|
BOOK
|
1966
|
|
Selected logic papers.
BJL
|
BOOK
|
1966
|
|
Set theory and its logic.
BJL
|
BOOK
|
1963
|
|
|
BC 135 R1 : Foundations : essays in philosophy, logic, mathematics and economics / edited by D.H. Mellor.; BJL
|
|
|
|
Foundations : essays in philosophy, logic, mathematics and economics / edited by D.H. Mellor.
BJL
|
BOOK
|
1978
|
|
|
BC 135 R3 : Laws, modalities and counterfactuals.; BJL
|
|
|
|
Laws, modalities and counterfactuals.
BJL
|
BOOK
|
1976
|
|
|
BC 135 R4 : Topics in philosophical logic.; BJL
|
|
|
|
Topics in philosophical logic.
BJL
|
BOOK
|
1968
|
|
|
BC 135 R6
|
|
|
|
Complete theories.
BJL
|
BOOK
|
1956
|
|
Introduction to model theory and to the mathematics of algebra.
BJL
|
BOOK
|
1963
|
|
Mathematical logic : a first course.
BJL
|
BOOK
|
1969
|
|
|
BC 135 R7 : Mathematical logic and formalized theories.; BJL
|
|
|
|
Mathematical logic and formalized theories.
BJL
|
BOOK
|
1971
|
|
|
BC 135 R8
|
|
|
|
Logic for mathematicians.
BJL
|
BOOK
|
1953
|
|
Many-valued logics.
BJL
|
BOOK
|
1952
|
|
|
BC 135 R9 : Infinity and the mind : the science and philosophy of the infinite.; BJL
|
|
|
|
Infinity and the mind : the science and philosophy of the infinite.
BJL
|
BOOK
|
1982
|
|
|
BC 135 S2 : Proceedings of the second Scandinavian logic symposium : edited by J.E. Fenstad.; BJL
|
|
|
|
Proceedings of the second Scandinavian logic symposium : edited by J.E. Fenstad.
BJL
|
BOOK
|
1971
|
|
|
BC 135 S3
|
|
|
|
Logics without existence assumptions.
BJL
|
BOOK
|
1968
|
|
New foundations for concept theory.
BJL
|
BOOK
|
1969
|
|
|
BC 135 S5 : The development of symbolic logic : a critical-historical study of the logical calculus.; BJL
|
|
|
|
The development of symbolic logic : a critical-historical study of the logical calculus.
BJL
|
BOOK
|
1900
|
|
|
BC 135 S8
|
|
|
|
Combinators, Lambda-terms and prrof theory.
BJL
|
BOOK
|
1972
|
|
Mathematical logic, with special reference to the natural numbers.
BJL
|
BOOK
|
1972
|
|
|
BC 135 S9
|
|
|
|
History of mathematical logic from Leibniz to Peano.
BJL
|
BOOK
|
1969
|
|
Introduction to logic.
BJL
|
BOOK
|
1957
|
|
Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der ersten Style.
BJL
|
BOOK
|
1959
|
|
Some problems in logical model theory.
BJL
|
BOOK
|
1960
|
|
|
BC 135 T1 : Logic, semantics, metamathematics : papers from 1923 to 1938.; BJL
|
|
|
|
Logic, semantics, metamathematics : papers from 1923 to 1938.
BJL
|
BOOK
|
1956
|
|
|
BC 135 T6 : Logical studies.; BJL
|
|
|
|
Logical studies.
BJL
|
BOOK
|
1955
|
|
|
BC 135 V2
|
|
|
|
Frege and Godel : two fundamental texts in mathematical logic.
BJL
|
BOOK
|
1970
|
|
From Frege to Godel : a source books in mathematical logic, 1879-1931.
BJL
|
BOOK
|
1967
|
|
