BC 108 M6 : An introduction to logic.; BJL
An introduction to logic.
BJL
BOOK
1962
BC 108 N5 : Logic : an introductory course.; BJL
Logic : an introductory course.
BJL
BOOK
1985
BC 108 P8 : Propositional logic : introduction to logic.; BJL
Propositional logic : introduction to logic.
BJL
BOOK
1974
BC 108 S5 : Logic and its limits / Patrick Shaw.; BJL
Logic and its limits / Patrick Shaw.
BJL
BOOK
1997
BC 121 B1 : Thought and things.; BJL
Thought and things.
BJL
BOOK
1906
BC 126 R4 : Many-valued logic.; BJL
Many-valued logic.
BJL
BOOK
1969
BC 126 S5 : Multiple-conclusion logic / by D.J. Shoesmith and T.J. Smiley.; BJL
Multiple-conclusion logic / by D.J. Shoesmith and T.J. Smiley.
BJL
BOOK
1978
BC 128 B2 : The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0 / Jon Barwise & John Etchemendy.; BJL
The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.
BJL
BOOK
1992
BC 131 A4
Fundamentals of symbolic logic.
BJL
BOOK
1950
Logic : the theory of formal inference / edited by A. Ambrose and M. Lazerowitz.
BJL
BOOK
1961
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