1. Dedekind, J.W.R.: Über die Einfuhrung neuer Funktionen in der Mathematik, delivered as a Habilitationsvorlesung in Göttingen on 30 June 1854; first published in “Dedekind Gesammelte mathematische Werke”, vol. III, 428–438 (1932)
2. Gentzen, G.: Die Widersrpuchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493–565 (1936)
3. Gentzen, G.: Neue Fassung des Widerspruchsfreiheitsbeweise für tie reine Zahlentheorie, Forschung zur Logik und zur Grundlegung der exakten Wissenschaften, Heft 4(1938), Leipzig: Hirzel, 19–44
4. Gentzen, G.: Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Math. Ann. 119, 140–161 (1943). (Habilitationsschrift)
5. Gentzen, G.: (M.E. Szabo, translator), “The collected papers of Gerhard Gentzen”. North-Holland Pub. Co. (1969)