

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


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

Truthvalue 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 : 193064.
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

