1. Ackermann, W. (1924) Begründung des, tertium non datur“ mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Mathematische Annalen, vol. 93, pp. 1–36.
2. Ackermann, W. (1940) Zur Widerspruchsfreiheit der Zahlentheorie. Mathematische Annalen, vol. 117, pp. 162–194.
3. 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.”
4. Allert, T. (2008) The Hitler Salute. Metropolitan Books.
5. Bernays, P. (1935a) Quelques points essentiels de la métamathématique. L’Enseignement Mathématique, vol. 34, pp. 70–95.