- (2 other versions)Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.details
|
|
The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.details
|
|
(1 other version)Gesammelte Abhandlungen: Mathematischen und Philosophischen Inhalts.Georg Cantor, Richard Dedekind & Abraham Adolf Fraenkel - 1932 - Springer.details
|
|
(2 other versions)Paradoxes of the infinite.Bernard Bolzano - 1950 - London,: Routledge and Kegan Paul.details
|
|
Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
(1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
Language, Thought, and Reality: Selected Writings of Benjamin Lee Whorf.Benjamin Lee Whorf - 1956 - MIT Press. Edited by John B. Carroll.details
|
|
(1 other version)From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.details
|
|
Logical writings.Jacques Herbrand - 1971 - Dordrecht, Holland,: D. Reidel Pub. Co..details
|
|
Classical recursion theory: the theory of functions and sets of natural numbers.Piergiorgio Odifreddi - 1989 - New York, N.Y., USA: Sole distributors for the USA and Canada, Elsevier Science Pub. Co..details
|
|
Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.details
|
|
Theory of recursive functions and effective computability.Hartley Rogers - 1987 - Cambridge: MIT Press.details
|
|
Designation and existence.Willard V. Quine - 1939 - Journal of Philosophy 36 (26):701-709.details
|
|
Selected works in logic.Th Skolem & Jens Erik Fenstad - 1970 - Oslo,: Universitetsforlaget. Edited by Jens Erik Fenstad.details
|
|
Philosophy of Logics.Susan Haack - 1978 - London and New York: Cambridge University Press.details
|
|
Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre.Thoralf Skolem - 1955 - In ¸ Iteskolem:Swl. pp. 137--52.details
|
|
Infinite truth-functional logic.Theodore Hailperin - 1987 - Notre Dame Journal of Formal Logic 29 (1):28-33.details
|
|