1. Bernays, P. (1930). Die Philosophie der Mathematik und die Hilbertsche Beweistheorie. Blätter für deutsche Philosophie, 4, 326–367. (References to the translation as “The Philosophy of mathematics and Hilbert’s proof theory”, in Mancosu (1998), pp. 234–265.)
2. Church A. (1956) Introduction to mathematical logic, I. Princeton University Press, Princeton, NJ
3. Corry L. et al (2006) The origin of Hilbert’s axiomatic method. In: Jürgen R. (ed.) The genesis of general relativity, Vol. 4, Theories of gravitation in the Twilight of classical physics: The promise of mathematics and the dream of a unified theory. Springer, New York, pp 139–236
4. Curry H. B. (1950) Language, metalanguage, and formal system. The Philosophical Review 59: 346–353
5. Detlefsen M. (1986) Hilbert’s program, An essay on mathematical instrumentalism. Reidel, Dordrecht