1. Aczel, P. [1977] An introduction to inductive definitions, in: J. Barwise, ed., Handbook of Mathematical Logic, Amsterdam, 739–782.
2. Bernays, P. [1922] Über Hilberts Gedanken zur Grundlegung der Arithmetik, Jahresberichte DMV, 31,10–19.
3. Bernays, P. [1922A] Hilberts Bedeutung für die Philosophie der Mathematik, Die Naturwissenschaften, 4,93–99.
4. Bernays, P. [1930] Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, in: (Bernays, 1976), 17–61.
5. Bernays, P. [1950] Mathematische Existenz und Widerspruchsfreiheit, in: (Bernays, 1976), 92–106.