1. Bernays, P. [4] Mathematics as a Domain of Theoretical Science and of Mental Experience. In H.E. Rose and J.C. Sheperdson, Eds., Logic Colloquium ’73, pp. 1–4. Amsterdam 1975.
2. — [82] On the Original Gentzen Consistency Proof for Number Theory. In J. Myhill et al., Eds., Intuitionism and Proof Theory, pp. 409–417. Amsterdam 1970.
3. Bernays, P. [87] Hilberts Untersuchungen über die Grundlagen der Arithmetik. In D. Hilbert, Gesammelte Abhandlungen, pp. 196–216. Berlin 1935.(DE)
4. — [91] Nachwort. Jahresbericht der deutschen Mathematiker Vereinigung 81 (1978): 22–24. (DE)
5. Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen, afd. letter künde, New Series;EW Beth,1955