

BC 135 A1



An introduction to manyvalued 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 18801908.
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


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

