1. Bernays, P.: 1922A, `Ober Hilberts Gedanken zur Grundlegung der Arithmetik’, Jahresbericht DMV 31 10–19.
2. Bernays, P.: 1922B, `Die Bedeutung Hilberts für die Philosophie der Mathematik’, Die Naturwissenschaften, Heft 4, 93–99.
3. Bernays, P.: 1930, `Die Philosophie der Mathematik und die Hilbertsche Beweistheorie’, in Abhandlungen zur Philosophie der Mathematik; see Bernays, 1976, pp. 17–61.
4. Bernays, P.: 1935, `Hilberts Untersuchungen über die Grundlagen der Arithmetik’, in Gesammelte Abhandlungen; see Hilbert, 1935, pp. 196–216.
5. Bernays, P.: 1950, `Mathematische Existenz und Widerspruchsfreiheit’, in Abhandlungen zur Philosophie der Mathematik; See Bernays, 1976, pp. 92–106.