- Georg Kreisel. Mathematical logic. Lectures on modern mathematics, vol. 3, edited by T. L. Saaty, John Wiley & Sons, Inc., New York, London, and Sydney, 1965, pp. 95–195. [REVIEW]R. E. Vesley - 1967 - Journal of Symbolic Logic 32 (3):419-420.details
|
|
From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s.Paolo Mancosu (ed.) - 1997 - Oxford, England: Oxford University Press USA.details
|
|
David Hilbert’s ’vorlesungen’ Logic and Foundations of Mathematics.Vito Michele Abrusci - 1989 - In G. Corsi, C. Mangione & M. Mugnai (eds.), Atti Del Convegno Internazionale di Storia Della Logica, San Gimignano, 1987. Editrice Cooperativa Libraria Universitaria Editrice, 1989. pp. 333-338..details
|
|
Essays on the Theory of Numbers: I. Continuity and Irrational Numbers, Ii. The Nature and Meaning of Numbers.Richard Dedekind - 1901 - Chicago, IL, USA: Open Court.details
|
|
Solvable Cases of the Decision Problem.[author unknown] - 1956 - Philosophy 31 (116):92-93.details
|
|
Hilbert and Bernays on Metamathematics.P. Mancosu - 1998 - In ¸ Itemancosu1998. Oxford University Press. pp. 149--188.details
|
|
Hilbert's Finitism and the Notion of Infinity.Karl-Georg Niebergall & Matthias Schirn - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press.details
|
|
Finitism and intuitive knowledge.Charles Parsons - 1998 - In Matthias Schirn (ed.), The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993. Oxford, England: Clarendon Press. pp. 249--270.details
|
|
Grundzüge der theoretischen Logik.David Hilbert & Wilhelm Ackermann - 1928 - Berlin,: J. Springer. Edited by W. Ackermann.details
|
|
A treatise of formal logic.Jørgen Jørgensen - 1931 - New York,: Russell & Russell. Edited by William W. Worster.details
|
|
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.details
|
|
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.details
|
|
The foundations of arithmetic.Gottlob Frege - 1884/1950 - Evanston, Ill.,: Northwestern University Press.details
|
|
Solvable cases of the decision problem.Wilhelm Ackermann - 1954 - Amsterdam,: North-Holland Pub. Co..details
|
|
The Development of Logic.William Kneale & Martha Kneale - 1962 - Oxford, England: Clarendon Press. Edited by Martha Kneale.details
|
|
From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.details
|
|
Principia Mathematica.Alfred North Whitehead & Bertrand Russell - 1950 - Cambridge,: Franklin Classics. Edited by Bertrand Russell.details
|
|
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.details
|
|
Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.details
|
|
David Hilbert and His Mathematical Work.Hermann Weyl - 1944 - Journal of Symbolic Logic 9 (4):98-98.details
|
|
Das Kontinuum.H. Weyl - 1960 - Journal of Symbolic Logic 25 (3):282-284.details
|
|
Über die Neue Grundlagenkrise der Mathematik.Hermann Weyl - 1957 - Journal of Symbolic Logic 22 (1):81-82.details
|
|
Frege and the Philosophy of Mathematics. [REVIEW]Linda Wetzel - 1983 - Philosophical Review 92 (1):114.details
|
|
Truth and proof: The platonism of mathematics.W. W. Tait - 1986 - Synthese 69 (3):341 - 370.details
|
|
The substitution method.W. W. Tait - 1965 - Journal of Symbolic Logic 30 (2):175-192.details
|
|
Nested Recursion.W. W. Tait - 1963 - Journal of Symbolic Logic 28 (1):103-104.details
|
|
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.details
|
|
Partial realizations of Hilbert's program.Stephen G. Simpson - 1988 - Journal of Symbolic Logic 53 (2):349-363.details
|
|
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.details
|
|
Hilbert's program sixty years later.Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):338-348.details
|
|
Who were the american postulate theorists?Michael Scanlan - 1991 - Journal of Symbolic Logic 56 (3):981-1002.details
|
|
Subrecursion: functions and hierarchies.H. E. Rose - 1984 - New York: Oxford University Press.details
|
|
The Frege-Hilbert controversy.Michael David Resnik - 1974 - Philosophy and Phenomenological Research 34 (3):386-403.details
|
|
Frege and the philosophy of mathematics.Michael D. Resnik - 1980 - Ithaca, N.Y.: Cornell University Press.details
|
|
Hilberts Logik. Von der Axiomatik zur Beweistheorie.Volker Peckhaus - 1995 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 3 (1):65-86.details
|
|
Reason and intuition.Charles Parsons - 2000 - Synthese 125 (3):299-315.details
|
|
Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.details
|
|
Between Vienna and Berlin: The Immediate Reception of Godel's Incompleteness Theorems.Paolo Mancosu - 1999 - History and Philosophy of Logic 20 (1):33-45.details
|
|
The Propositional Logic of Principia Mathematica and Some of Its Forerunners.Daniel J. O'Leary - 1988 - Russell: The Journal of Bertrand Russell Studies 8 (1).details
|
|
The origins of zermelo's axiomatization of set theory.Gregory H. Moore - 1978 - Journal of Philosophical Logic 7 (1):307 - 329.details
|
|
Epsilon substitution method for elementary analysis.Grigori Mints, Sergei Tupailo & Wilfried Buchholz - 1996 - Archive for Mathematical Logic 35 (2):103-130.details
|
|
Hilbert's iterativistic tendencies.Michael Hand - 1990 - History and Philosophy of Logic 11 (2):185-192.details
|
|
Ontology and the Vicious Circle Principle.Stanley C. Martens - 1976 - Philosophical Review 85 (2):256.details
|
|
Between Russell and Hilbert: Behmann on the foundations of mathematics.Paolo Mancosu - 1999 - Bulletin of Symbolic Logic 5 (3):303-330.details
|
|
Husserl and Hilbert on completeness.Ulrich Majer - 1997 - Synthese 110 (1):37-56.details
|
|
A Survey of Symbolic Logic.C. I. Lewis - 1918 - Journal of Philosophy, Psychology and Scientific Methods 17 (3):78-79.details
|
|
Paul Bernays (1888–1977).Henri Lauener - 1978 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 9 (1):13-20.details
|
|
Hilbert's Programme.Georg Kreisel - 1962 - Journal of Symbolic Logic 27 (2):228-229.details
|
|
Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.details
|
|
The Development of Logic.Benson Mates - 1962 - Journal of Symbolic Logic 27 (2):213-217.details
|
|