1. Ackermann, W. (1940a) Zur Arbeit von G. Gentzen: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Typewritten manuscript with the imprint “Logistisches Seminar der Universität Münster i./W. Prof. Scholz.”
2. Allert, T. (2008) The Hitler Salute. Metropolitan Books.
3. Bernays, P. (1935a) Quelques points essentiels de la métamathématique. L’Enseignement Mathématique, vol. 34, pp. 70–95.
4. Bernays, P. (1965) Betrachtungen zum Sequenzen-kalkul. Contributions to Logic and Methodology in Honor of J. M. Bochenski, pp. 1–44, North-Holland.
5. Bernays, P. (1970) On the original Gentzen consistency proof for number theory. In J. Myhill et al., eds, Intuitionism and Proof Theory, pp. 409–417, North-Holland.