|
|
BC 131 B3 : Introduction to symbolic logic.; BJL
|
|
|
Introduction to symbolic logic.
BJL
|
BOOK
|
1959
|
|
BC 131 B6
|
|
|
Precis de logique mathematique.
BJL
|
BOOK
|
|
A precis of mathematical logic.
BJL
|
BOOK
|
1959
|
|
BC 131 C5 : Introduction to mathematical logic.; BJL
|
|
|
Introduction to mathematical logic.
BJL
|
BOOK
|
1956
|
|
BC 131 C8 : L'Algebre de la logique.; BJL
|
|
|
L'Algebre de la logique.
BJL
|
BOOK
|
|
|
BC 131 J5 : Pure logic.; BJL
|
|
|
Pure logic.
BJL
|
BOOK
|
|
|
BC 131 J8 : A treatise of formal logic.; BJL
|
|
|
A treatise of formal logic.
BJL
|
BOOK
|
|
|
BC 131 L6 : Symbolic logic.; BJL
|
|
|
Symbolic logic.
BJL
|
BOOK
|
|
|
BC 131 M1 : Symbolic logic and its applications.; BJL
|
|
|
Symbolic logic and its applications.
BJL
|
BOOK
|
|
|
BC 131 N6 : Introductory formal logic of mathematics.; BJL
|
|
|
Introductory formal logic of mathematics.
BJL
|
BOOK
|
1957
|
|
BC 131 Q7 : Mathematical logic.; BJL
|
|
|
Mathematical logic.
BJL
|
BOOK
|
1951
|
|
BC 131 R1 : The foundations of mathematics.; BJL
|
|
|
The foundations of mathematics.
BJL
|
BOOK
|
1931
|
|
BC 131 R3 : Elements of symobolic logic.; BJL
|
|
|
Elements of symobolic logic.
BJL
|
BOOK
|
|
|
BC 131 R8 : The elements of mathematical logic.; BJL
|
|
|
The elements of mathematical logic.
BJL
|
BOOK
|
1950
|
|
BC 131 S3 : A first course in modern logic.; BJL
|
|
|
A first course in modern logic.
BJL
|
BOOK
|
1960
|
|
BC 131 T1 : Introduction to logic.; BJL
|
|
|
Introduction to logic.
BJL
|
BOOK
|
|
|
BC 131 V4
|
|
|
Symbolic logic.
BJL
|
BOOK
|
|
Symbolic logic.
BJL
|
BOOK
|
|
|
BC 135 A1
|
|
|
An introduction to many-valued logics.
BJL
|
BOOK
|
1967
|
Solvable cases of the decision problem.
BJL
|
BOOK
|
1954
|
|
BC 135 A5 : Entailment : the logic of relevance and necessity.; BJL
|
|
|
Entailment : the logic of relevance and necessity.
BJL
|
BOOK
|
1975
|
|
BC 135 A53
|
|
|
Annals of mathematical logic.
BJL
|
PERIODICAL
|
|
Annals of pure and applied logic.
BJL
|
PERIODICAL
|
1989
|
|
BC 135 B3 : A deductive theory of space and time.; BJL
|
|
|
A deductive theory of space and time.
BJL
|
BOOK
|
1966
|
|
BC 135 B5
|
|
|
Epistemologie mathematique et psychologie / edited by E.W. Beth and J. Piaget.
BJL
|
BOOK
|
1961
|
Formal methods : an introduction to symbolic logic.
BJL
|
BOOK
|
1962
|
Implication, formalisation et logique naturelle / par E.W. Beth et des autres.
BJL
|
BOOK
|
1962
|
Mathematical epistemology and psychology / edited by E.W. Beth and J. Piaget.
BJL
|
BOOK
|
1966
|
|
BC 135 B6 : Axiomatics.; BJL
|
|
|
Axiomatics.
BJL
|
BOOK
|
1962
|
|
BC 135 B7
|
|
|
Computability and logic / edited by G. Boolos and R. Jeffrey.
BJL
|
BOOK
|
1974
|
Computability and logic / by G. Boolos and R. Jeffrey.
BJL, Departmental Locations
|
BOOK
|
1980
|
Logic and arithmetic.
BJL
|
BOOK
|
1974
|
The mathematical analysis of logic.
BJL
|
BOOK
|
1948
|
The philosophy of logic 1880-1908.
BJL
|
BOOK
|
1966
|
|
BC 135 C2
|
|
|
Compound statements and mathematical logic.
BJL
|
BOOK
|
1967
|
Einführung in die symbolische Logik, mit besonderer Berucksichtigung ihrer Andwendungen.
BJL
|
BOOK
|
1960
|
Foundations of logic and mathematics.
BJL
|
BOOK
|
1939
|
Introduction to symbolic logic and its applications.
BJL
|
BOOK
|
1958
|
|
BC 135 C3 : Meaning and existence in mathematics.; BJL
|
|
|
Meaning and existence in mathematics.
BJL
|
BOOK
|
1972
|
|
BC 135 C5 : La logique moderne.; BJL
|
|
|
La logique moderne.
BJL
|
BOOK
|
1957
|
|
BC 135 C7
|
|
|
Combinatory logic.
BJL
|
BOOK
|
1958
|
Intuitionism and proof theory / edited by A. Kino, J. Myhill and R.E. Vesley.
BJL
|
BOOK
|
1970
|
Symbolic logic.
BJL
|
BOOK
|
1973
|
Symbolic logic.
BJL
|
BOOK
|
1954
|
The theory of logical types.
BJL
|
BOOK
|
1971
|
|
BC 135 C8 : Logic in algebraic form : three languages and theories.; BJL
|
|
|
Logic in algebraic form : three languages and theories.
BJL
|
BOOK
|
1974
|
|
BC 135 C9 : Formal systems and recursive functions / edited by J.N. Crossley and M. Dummett ; Logic Colloquium, 8th, Oxford, 1963.; BJL
|
|
|
Formal systems and recursive functions / edited by J.N. Crossley and M. Dummett ; Logic Colloquium, 8
BJL
|
BOOK
|
1965
|
|
BC 135 D3 : On the syllogism, and other logical writings.; BJL
|
|
|
On the syllogism, and other logical writings.
BJL
|
BOOK
|
1966
|
|
BC 135 D5 : Symbolic logic and language : a programmed text.; BJL
|
|
|
Symbolic logic and language : a programmed text.
BJL
|
BOOK
|
1965
|
|
BC 135 D6
|
|
|
Mathematical recreations of Lewis Carroll.
BJL
|
BOOK
|
1958
|
Symbolic logic.
BJL
|
BOOK
|
1896
|
Symbolic logic, part 1 and part 11.
BJL
|
BOOK
|
1977
|
|
BC 135 D8 : Initiation a la logique.; BJL
|
|
|
Initiation a la logique.
BJL
|
BOOK
|
1957
|
|
BC 135 E5 : A mathematical introduction to logic.; BJL
|
|
|
A mathematical introduction to logic.
BJL
|
BOOK
|
1972
|
|
BC 135 F1 : Logic.; BJL
|
|
|
Logic.
BJL
|
BOOK
|
1973
|
|
BC 135 F5 : Symbolic logic : an introduction.; BJL
|
|
|
Symbolic logic : an introduction.
BJL
|
BOOK
|
1952
|
|
BC 135 F8
|
|
|
The basic laws of arithmetic : exposition of the system.
BJL
|
BOOK
|
1964
|
Begriffsschrift und andere Aufsätze.
BJL
|
BOOK
|
1964
|
Conceptual notation and related articles.
BJL
|
BOOK
|
1972
|
Course of mathematical logic.
BJL
|
BOOK
|
1973
|
15 additional entries
|
|
|
|
BC 135 F8 B1 : Frege : logical excavations / G.P. Baker & P.M.S. Hacker.; BJL
|
|
|
Frege : logical excavations / G.P. Baker & P.M.S. Hacker.
BJL
|
BOOK
|
1984
|
|
BC 135 F8 B4 : Frege's theory of judgement.; BJL
|
|
|
Frege's theory of judgement.
BJL
|
BOOK
|
1979
|
|
BC 135 F8 B9 : Truth, thought, reason : essays on Frege.; BJL
|
|
|
Truth, thought, reason : essays on Frege.
BJL
|
BOOK
|
2005
|
|
BC 135 F8 C9 : Frege : an introduction to his philosophy.; BJL
|
|
|
Frege : an introduction to his philosophy.
BJL
|
BOOK
|
1982
|
|
BC 135 F8 D8
|
|
|
Frege : philosophy of language.
BJL
|
BOOK
|
1973
|
The interpretation of Frege's philosophy.
BJL
|
BOOK
|
1981
|
|
BC 135 F8 G8 : Reflections on Frege's philosophy.; BJL
|
|
|
Reflections on Frege's philosophy.
BJL
|
BOOK
|
1969
|
|
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
|
|