- Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..details
|
|
Logic, semantics, metamathematics.Alfred Tarski - 1956 - Oxford,: Clarendon Press. Edited by John Corcoran & J. H. Woodger.details
|
|
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.details
|
|
The concept of truth in formalized languages.Alfred Tarski - 1956 - In Logic, semantics, metamathematics. Oxford,: Clarendon Press. pp. 152--278.details
|
|
(1 other version)Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.details
|
|
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos (ed.), Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.details
|
|
(1 other version)Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.details
|
|
Mathematical Thought from Ancient to Modern Times.M. Kline - 1978 - British Journal for the Philosophy of Science 29 (1):68-87.details
|
|
(1 other version)From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.details
|
|
(1 other version)The Foundations of Geometry.David Hilbert - 1899 - Open Court Company (This Edition Published 1921).details
|
|
(2 other versions)Passion and Value in Hume's Treatise.D. G. C. Macnabb - 1968 - Philosophical Books 9 (1):2-4.details
|
|
String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.details
|
|
(1 other version)Essays on the Theory of Numbers.R. Dedekind - 1903 - The Monist 13:314.details
|
|
Problems in the philosophy of mathematics.Imre Lakatos (ed.) - 1967 - Amsterdam,: North-Holland Pub. Co..details
|
|
Conceptual structure of classical logic.John Corcoran - 1972 - Philosophy and Phenomenological Research 33 (1):25-47.details
|
|
The Frege-Hilbert controversy.Michael David Resnik - 1974 - Philosophy and Phenomenological Research 34 (3):386-403.details
|
|
A Mathematical Introduction to Logic.Herbert Enderton - 2001 - Bulletin of Symbolic Logic 9 (3):406-407.details
|
|
Problems in the Philosophy of Mathematics.Imre Lakatos - 1968 - British Journal for the Philosophy of Science 19 (2):171-173.details
|
|
On the concept of categoricity.Andrzej Grzegorczyk - 1962 - Studia Logica 13 (1):39 - 66.details
|
|
Some independence results for peano arithmetic.J. B. Paris - 1978 - Journal of Symbolic Logic 43 (4):725-731.details
|
|
Introduction to structuralism.Michael Lane - 1970 - New York,: Basic Books.details
|
|
Lectures on Fundamental Concepts of Algebra and Geometry.E. Jordan - 1912 - Philosophical Review 21 (6):718-719.details
|
|
Categoricity regained.Erik Ellentuck - 1976 - Journal of Symbolic Logic 41 (3):639-643.details
|
|
Naive Set Theory. [REVIEW]Elliott Mendelson - 1960 - Journal of Philosophy 57 (15):512-513.details
|
|
Mathematics and Logic.Mark Kac & Stanislaw M. Ulam - 1992 - New York, NY, USA: Courier Corporation.details
|
|