1. Ackermann, W. (1933). Letter to David Hilbert, August 23rd, 1933, Niedersächsische Staats- und Universitätsbibliothek Göttingen, Cod. Ms. D. Hilbert 1.
2. Bernays, P. (1935). Hilberts Untersuchungen über die Grundlagen der Arithmetik. In David Hilbert: Gesammelte Abhandlungen (Hilbert 1935) (Vol. III, pp. 196–216). Berlin: Springer.
3. Bernays, P. (1954). Zur Beurteilung der Situation in der beweistheoretischen Forschung. Revue Internationale de Philosophie, 27–28(1–2), 1–5.
4. Bernays, P. (1935). Über den Platonismus in der Mathematik. In Abhandlungen zur Philosophie der Mathematik (pp. 62–78). Darmstadt: Wissenschaftliche Buchgesellschaft, 1976 (German translation of a talk given in 1934 and published in French in 1935).
5. Bourbaki, N. (1994). Elements of the History of Mathematics. Berlin: Springer.