

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


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

Manyvalued 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 criticalhistorical study of the logical calculus.; BJL



The development of symbolic logic : a criticalhistorical study of the logical calculus.
BJL

BOOK

1900


BC 135 S8



Combinators, Lambdaterms 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, 18791931.
BJL

BOOK

1967

