1. Abrusci, V. M. 1980, ‘“Proof”, “Theory”, and “Foundations” in Hilbert's Mathematical Work From 1885 to 1900’, in Dalla Chiara (ed.), Italian Studies in the Philosophy of Science, Dordrecht, pp. 453–91.
2. Aczel, P.: 1977, ‘An Introduction to Inductive Definitions’, in J. Barwise (ed.), Handbook of Mathematical Logic, North Holland, Amsterdam, pp. 739–82.
3. Aspray, W. and P. Kitcher, (eds.): 1988, History and Philosophy of Modern Mathematics, Minnesota Studies in the Philosophy of Science, Volume XI, University of Minnesota Press, Minneapolis.
4. Baire, R., E. Borel, J. Hadamard, and H. Lebesgue: 1905, ‘Cinq lettres sur la théorie des ensembles’, Bulletin de la Société Mathématique de France
33, 261–273. (Translated in Moore's book Zermelo's Axiom of Choice, New York 1982, pp. 311–20.)
5. Bernays, P.: 1922, ‘Über Hilberts Gedanken zur Grundlegung der Arithmetik’, Jahresberichte DMV
31, 10–19.