1. Bernays, P.: 1922A, ?Über 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.