- 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
|
|
Abhandlungen zur Philosophie der Mathematik.G. T. Kneebone & Paul Bernays - 1977 - Philosophical Quarterly 27 (106):72.details
|
|
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.details
|
|
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.details
|
|
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.details
|
|
Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.details
|
|
Grundzüge der Theoretischen Logik.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):59-59.details
|
|
Grundlagen der Mathematik I.David Hilbert & Paul Bernays - 1968 - Springer.details
|
|
A number is the exponent of an operation.Michael Hand - 1989 - Synthese 81 (2):243 - 265.details
|
|
The collected papers of Gerhard Gentzen.Gerhard Gentzen - 1969 - Amsterdam,: North-Holland Pub. Co.. Edited by M. E. Szabo.details
|
|
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.details
|
|
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.details
|
|
Begriffsschrift and andere Aufsatze.Benson Mates - 1967 - Journal of Symbolic Logic 32 (2):240-242.details
|
|
Science without Numbers.Michael D. Resnik - 1983 - Noûs 17 (3):514-519.details
|
|
In the Light of Logic.G. Aldo Antonelli - 2001 - Bulletin of Symbolic Logic 7 (2):270-277.details
|
|
In the Light of Logic.Solomon Feferman - 1998 - New York and Oxford: Oxford University Press.details
|
|
Hilbert's program relativized: Proof-theoretical and foundational reductions.Solomon Feferman - 1988 - Journal of Symbolic Logic 53 (2):364-384.details
|
|
Hilbert's Program.M. Detlefsen - 1992 - Noûs 26 (4):513-514.details
|
|
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.details
|
|
The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993.Matthias Schirn (ed.) - 1998 - Oxford, England: Clarendon Press.details
|
|
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.details
|
|
Naturalism in mathematics.Penelope Maddy - 1997 - New York: Oxford University Press.details
|
|
Frege - Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens. [REVIEW]Paul Tannery - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.details
|
|
Was Sind und was Sollen Die Zahlen?Richard Dedekind - 1888 - Cambridge University Press.details
|
|
Die Grundlagen der Mathematik.David Hilbert, Hermann Weyl & Paul Bernays - 2013 - Springer Verlag.details
|
|
Begriffsschrift und andere Aufsätze: Mit E. Husserls und H. Scholz' Anmerkungen herausgegeben von Ignacio Angelelli.Gottlob Frege & Ignacio Angelelli - 2014 - Georg Olms Verlag.details
|
|
The philosophy of mathematics.Wilbur Dyre Hart (ed.) - 1996 - New York: Oxford University Press.details
|
|
Mathematical logic and Hilbert's & symbol.A. C. Leisenring - 1969 - London,: Macdonald Technical & Scientific.details
|
|
Science Without Numbers: A Defence of Nominalism.Hartry H. Field - 1980 - Princeton, NJ, USA: Princeton University Press.details
|
|
Begriffsschrift: Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Halle a.d.S.: Louis Nebert.details
|
|
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.details
|
|
Hilbert and the emergence of modern mathematical logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.details
|
|
Introduction to a general theory of elementary propositions.Emil L. Post - 1921 - American Journal of Mathematics 43 (3):163--185.details
|
|
Numbers and functions in Hilbert's finitism.Richard Zach - 1998 - Taiwanese Journal for History and Philosophy of Science 10:33-60.details
|
|
David Hubert and his Mathematical Work.Hermann Weyl - 1944 - Bulletin of the American Mathematical Society 50 (9):612--654.details
|
|
What rests on what? The proof-theoretic analysis of mathematics.Solomon Feferman - 1993 - In J. Czermak (ed.), Philosophy of Mathematics. Hölder-Pichler-Tempsky. pp. 1--147.details
|
|
Hilbert.Constance Reid - 1999 - Studia Logica 63 (2):297-300.details
|
|
Hilbert.Constance Reid - 1972 - Philosophy of Science 39 (1):106-108.details
|
|