Bernays, Paul, «Über Hilberts Gedanken zur Grundlegung der Arithmetik», Jahresbericht der Deutschen Mathematiker-Vereinigung, 31 (1922), pp.10-19. Engl. transl. «On Hilbert’s Thoughts Concerning the Grounding of Arithmetic», in *From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s*, ed. Paolo Mancosu (New York and Oxford, Oxford University Press, 1998), pp.215-222.

Cellucci, Carlo, *Filosofia e matematica* (Roma and Bari, Laterza, 2002).

Cellucci, Carlo, *The Making of Mathematics: Heuristic Philosophy of Mathematics* (forthcoming).

Corry, Leo, *David Hilbert and the Axiomatization of Physics: From Grundlagen der Geometrie to Grundlagen der Physik* (Dordrecht, Springer, 2004).

Dawson, John W., Jr., *Logical Dilemmas: The Life and Works of Kurt Gödel* (Wellesley, MA, A K Peters, 1997).

Dedekind, Richard, «Dedekind an Weber, 24 Januar 1888», in *Gesammelte mathematische Werke*, eds. Robert Fricke, Emmy Noether and Öystein Ore (Braunschweig, Vieweg, 1932), Bd. 3, pp.488-490. Engl. transl. «Letter to Heinrich Weber (24 January 1888)», in *From Kant to Hilbert: A Source Book in the Foundations of Mathematics*, ed. William B. Ewald (Oxford and New York, Oxford University Press, 1996), vol. 2, pp.834-835.

Dore, Mohammed H., Chakraborty, Sukhamoy and Goodwin, Richard, eds, *John von Neumann and Modern Economics* (Oxford, Clarendon, 1989).

Ferreirós, José, *Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics* (Basel, Birkhäuser, 1999).

Ferreirós, José, «Hilbert, Logicism and Mathematical Existence», *Synthese,* 170 (2009), pp.33-70.

Formica, Giambattista, «Von Neumann’s Methodology of Science: From Incompleteness Theorems to Later Foundational Reflections», *Perspectives on Science*, 18, 4 (2010), pp.480-499.

Formica, Giambattista, *Da Hilbert a von Neumann. **La svolta pragmatica nell’assiomatica* (Roma, Carocci, 2013).

Formica, Giambattista, «On the Procedural Character of Hilbert’s Axiomatic Method», *Quaestio*, 19 (2019), pp.223-246.

Formica, Giambattista, «John von Neumann’s Discovery of the 2nd Incompleteness Theorem» (forthcoming).

Halmos, Paul, «The Legend of John von Neumann», *The American Mathematical Monthly*, 80, 4 (1973), pp.382-394.

Hilbert, David, *Grundlagen der Geometrie* (1899, 1903) (Leipzig and Berlin, Teubner, 196810). Engl. transl. *Foundations of Geometry*, by Leo Unger (La Salle, IL, Open Court, 1971).

Hilbert, David, «Über den Zahlbegriff», Jahresbericht der Deutschen Mathematiker-Vereinigung, 8 (1900), pp.180-184. Engl. transl. «On the Concept of Number», in *From Kant to Hilbert: A Source Book in the Foundations of Mathematics*, ed. William B. Ewald (Oxford and New York, Oxford University Press, 1996), vol. 2, pp.1092-1095.

Hilbert, David, «Mathematische Probleme» (1900), in *Gesammelte Abhandlungen* (Berlin, Springer, 1935), Bd. 3, pp.290-329. Engl. transl. «Mathematical Problems», by Mary Winston Newson, *Bulletin of the American Mathematical Society*, 8 (1902), pp.437-479.

Hilbert, David, «Über die Grundlagen der Logik und der Arithmetik», in *Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg von 8. bis 13. August 1904*, ed. Adolf Krazer (Leipzig, Teubner, 1905), pp.174-185. Engl. transl. «On the Foundations of Logic and Arithmetic», in *From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931*, ed. Jan van Heijenoort (Cambridge, MA, Harvard University Press, 1967), pp.130-138.

Hilbert, David, «Axiomatisches Denken» (1918), in *Gesammelte Abhandlungen* (Berlin, Springer, 1935), Bd. 3, pp.146-156. Engl. transl. «Axiomatic Thought», in *From Kant to Hilbert: A Source Book in the Foundations of Mathematics*, ed. William B. Ewald (Oxford and New York, Oxford University Press, 1996), vol. 2, pp.1107-1115.

Hilbert, David, «Neubegründung der Mathematik. Erste Mitteilung» (1922), in *Gesammelte Abhandlungen* (Berlin, Springer, 1935), Bd. 3, pp.157-177. Engl. transl. «The New Grounding of Mathematics. First Report», in *From Kant to Hilbert: A Source Book in the Foundations of Mathematics*, ed. William B. Ewald (Oxford and New York, Oxford University Press, 1996), vol. 2, pp.1117-1134.

Hilbert, David, «Die logischen Grundlagen der Mathematik» (1923), in *Gesammelte Abhandlungen* (Berlin, Springer, 1935), Bd. 3, pp.151-165. Engl. transl. «The logical Foundations of Mathematics», in *From Kant to Hilbert: A Source Book in the Foundations of Mathematics*, ed. William B. Ewald (Oxford and New York, Oxford University Press, 1996), vol. 2, pp.1136-1148.

Hilbert, David, «Über das Unendliche», *Mathematische Annalen*, 95 (1926), pp.160-190. Engl. transl. «On the Infinite», in *From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931*, ed. Jan van Heijenoort (Cambridge, MA, Harvard University Press, 1967), pp.369-392.

Hilbert, David, «Die Grundlagen der Mathematik», *Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität*, 6 (1928), pp.65-85. Engl. transl. «The Foundations of Mathematics», in *From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931*, ed. Jan van Heijenoort (Cambridge, MA, Harvard University Press, 1967), pp.464-479.

Hilbert, David, «Probleme der Grundlegung der Mathematik», *Mathematische Annalen*, 102 (1929), pp.1-9. Engl. transl. «Problems of the Grounding of Mathematics», in *From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s*, ed. Paolo Mancosu (New York and Oxford, Oxford University Press, 1998), pp.227-233.

Hilbert, David and Bernays, Paul, *Grundlagen der Mathematik* (1934 and 1939) (Berlin and Heidelberg, Springer, 1968 and 1970), 2 vols.

Israel, Giorgio and Millán Gasca, Ana, *The World as a Mathematical Game: John von Neumann and the Twentieth Century Science* (Basel, Birkhäuser, 2008).

Leonard, Robert, *Von Neumann, Morgenstern, and the Creation of Game Theory: From Chess to Social Science, 1900-1960* (Cambridge and New York, Cambridge University Press, 2010).

Kanamori, Akihiro, «Zermelo and Set Theory», *The Bulletin of Symbolic Logic*, 20 (2004), pp.487-553.

Kline, Morris, *Mathematical Thought from Ancient to Modern Times* (New York and Oxford, Oxford University Press, 1971), vol. 3.

Mancosu, Paolo, «The Russellian Influence on Hilbert and His School», *Synthese*, 137 (2003), pp.59-101.

Mancosu, Paolo, Zach, Richard and Badesa, Calixto, «The Development of Mathematical Logic from Russell to Tarski, 1900-1935», in *The Development of Modern Logic*, ed. Leila Haaparanta (New York and Oxford, Oxford University Press, 2009), pp.318-470.

Moore, Gregory, «The Emergence of First-Order Logic», in *History and Philosophy of Modern Mathematics*, eds. William Aspray and Philip Kitcher (Minneapolis, University of Minnesota Press, 1988), pp.95-135.

Moore, Gregory, *Zermelo’s Axiom of Choice: Its Origins, Development, and Influence* (New York, Springer, 1982).

Moore, Gregory, «Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert’s Thought», *Historia Mathematica*, 29 (2002), pp.40-64.

Murawski, Roman, «John von Neumann and Hilbert’s School of Foundations of Mathematics», *Studies in Logic, Grammar and Rhetoric*, 7 (2004), pp.37-55.

Peckhaus, Volker, «The Pragmatism of Hilbert’s Programme», *Synthese,* 137 (2003), pp.141-156.

Peckhaus, Volker, «Pro and Contra Hilbert: Zermelo’s Set Theories», *Philosophia Scientiae*, 5 (2005), pp.199-215.

Rédei, Miklós and Stöltzner, Michael, eds, *John von Neumann and the Foundations of Quantum Physics* (Dordrecht, Kluwer, 2001).

Rédei, Miklós, «Mathematical Physics and Philosophy of Physics (with Special Consideration of John von Neumann’s Work)», in *History of Philosophy of Science: New Trends and Perspectives, eds. Michael Heidelberger and Friedrich Stadler* (Dordrecht, Kluwer, 2002), pp.239-243.

Rédei, Miklós, «John von Neumann on Mathematical and Axiomatic Physics», in *The Role of Mathematics in Physical Sciences: Interdisciplinary and Philosophical Aspects*, eds. Giovanni Boniolo, Paolo Budinich and Majda Trobok (Dordrecht, Springer, 2005), pp.43-54.

Rédei, Miklós and Stöltzner, Michael, «Soft Axiomatization: John von Neumann on Method and von Neumann’s Method in the Physical Sciences», in *Intuition and the Axiomatic Method*, eds. Emily Carson and Renate Huber (Dordrecht, Springer, 2006), pp.235-249.

Reid, Constance, *Hilbert* (Berlin and Heidelberg, Springer, 1970).

Sieg, Wilfried, «Relative Consistency and Accessible Domains», *Synthese*, 84 (1990), pp.259-297.

Sieg, Wilfried, «Hilbert’s Programs: 1917-1922», *The Bulletin of Symbolic Logic*, 5 (1999), pp.1-44.

Sieg, Wilfried, «Beyond Hilbert’s Reach?», in *Reading Natural Philosophy of Science and Mathematics,* ed. David B. Malament (Chicago, IL, Open Court, 2002), pp.363-405.

Sieg, Wilfried, «Jacques Herbrand: Introductory Note», in Gödel, Kurt, *Collected Works*, eds. Solomon Feferman *et alii* (Oxford, Clarendon, 2003), vol. 5, pp.3-13.

Sieg, Wilfried, «John von Neumann: Introductory Note», in Gödel, Kurt, *Collected Works*, eds. Solomon Feferman *et alii *(Oxford, Clarendon, 2003), vol. 5, pp.327-335.

Sieg, Wilfried, «Only Two Letters: The Correspondence between Herbrand and Gödel», *The Bulletin of Symbolic Logic*, 11 (2005), pp.172-184.

Sieg, Wilfried, «Hilbert’s Proof Theory», in *Handbook of the History of Logic*, eds. Dov M. Gabbay and John Woods (Amsterdam and Boston, Elsevier and North Holland, 2009), vol. 5, pp.321-384.

Sieg, Wilfried, *Hilbert’s Programs and Beyond* (Oxford and New York, Oxford University Press, 2013).

Sieg, Wilfried and Schlimm, Dirk, «Dedekind’s Analysis of Number: Systems and Axioms», *Synthese*, 147 (2005), pp.121-170.

Sieg, Wilfried and Schlimm, Dirk, «Dedekind’s Abstract Concepts: Models and Mappings», *Philosophia Mathematica*, 25 (2017), pp.292-317.

Stöltzner, Michael, «Opportunistic Axiomatics – von Neumann on the Methodology of Mathematical Physics», in *John von Neumann and the Foundations of Quantum Physics*, eds. Miklós Rédei and Michael Stöltzner (Dordrecht, Kluwer, 2001), pp.35-62.

Toepell, Michael, *Über die Entstehung von David Hilberts “Grundlagen der Geometrie”* (Göttingen, Vandenhoeck & Ruprecht, 1986).

Von Neumann, John, «Von Neumann to Gödel. Berlin, 29 November 1930», with the original German in Gödel, Kurt, *Collected Works*, eds. Solomon Feferman *et alii* (Oxford, Clarendon, 2003), vol. 5, pp.338-341.

Von Neumann, John, «Die formalistische Grundlegung der Mathematik», *Erkenntnis*, 2 (1931), pp.116-121. Engl. transl. «The Formalist Foundations of Mathematics», in *Philosophy of Mathematics: Selected Readings*, eds. Hilary Putnam and Paul Benacerraf (Englewood Cliffs, NJ, Prentice-Hall, 1964), pp.50-54.

Von Neumann, John, «The Mathematician» (1947), in *Collected Works*, ed. Abraham H. Taub (Pergamon, Oxford, 1961), vol. 1, pp.1-9.

Von Neumann, John, «To Wang, January 21, 1949», in *The Papers of John von Neumann* (Washington D.C., Library of Congress, Manuscript Division), Box 8, Folder 1: General Correspondence – “W” Miscellaneous, 1938-57, n.d. (1), 5 sheets.

Von Neumann, John, «To Godement, May 5, 1950», in *The Papers of John von Neumann *(Washington D.C., Library of Congress, Manuscript Division), Box 3, Folder 19: General Correspondence – Godement, Roger, 1949-50, n.d., 3 sheets.

Von Neumann, John, «Tribute to Dr. Gödel» (1951), in *Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel*, eds. Jack J. Bulloff, Thomas C. Holyoke and Samuel W. Hahn (New York, Springer, 1969), pp.IX-X.

Von Neumann, John, «The Role of Mathematics in the Sciences and in Society» (1954), in *Collected Works,* ed. Abraham H. Taub (Pergamon, Oxford, 1961), vol. 6, pp.477-490.

Von Neumann, John, «Method in the Physical Sciences» (1955), in *Collected Works*, ed. Abraham H. Taub (Pergamon, Oxford, 1961), vol. 6, pp.491-498.

Von Neumann, John, «The Impact of Recent Developments in Science on the Economy and Economics» (1956), in *Collected Works*, ed. Abraham H. Taub (Pergamon, Oxford, 1961), vol. 6, pp.100-101.

Von Neumann, John and Morgenstern, Oskar, *Theory of Games and Economic Behavior* (Princeton, NJ, Princeton University Press, 1944).

Weber, Heinrich, «Leopold Kronecker», *Mathematische Annalen*, 43 (1893), pp.1-25.

Zach, Richard, «Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic», *The Bulletin of Symbolic Logic*, 5 (1999), pp.331-366.

Zach, Richard, «The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert’s Program», *Synthese*, 137 (2003), pp.211-259.

Zermelo, Ernst, «Untersuchungen über die Grundlagen der Mengenlehre I», *Mathematische Annalen,* 65 (1908), pp.261-281. Engl. transl. «Investigations in the Foundations of Set Theory I», in *From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931*, ed. Jan van Heijenoort (Cambridge, MA, Harvard University Press, 1967), pp.200-215.

Zermelo, Ernst, «Neuer Beweis für die Möglichkeit einer Wohlordung», *Mathematische Annalen*, 65 (1908), pp.107-128. Engl. transl. «A New Proof of the Possibility of a Well-Ordering», in *From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931*, ed. Jan van Heijenoort (Cambridge, MA, Harvard University Press, 1967), pp.183-198.