M. E. Szabo. Biographical sketch. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. vii–viii. - M. E. Szabo. Introduction. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 1–28. - Gerhard Gentzen. On the existence of independent axiom systems for infinite sentence systems. Englische Übersetzung von 4427. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 29–52. - Gerhard Gentzen. On the relation between intuitionist and classical arithmetic. Englische Übersetzung des Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik (unveröffentlicht). The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 53–67. - Gerhard Gentzen. Investigations into logical deduction. Neudruck von XXXV 144 mit geringen Änderungen. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 68–131. - Gerhard Gentzen. The consistency of elementary number theory. Englische Übersetzung von I 75. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 132–201. - Gerhard Gentzen. Appendix to #4. Englische Übersetzung der bisher unveröffentlichten ersten Version von 14.1–16.11 des vorhergehenden Werkes. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 201–213. - Gerhard Gentzen. The consistency of the simple theory of types. Englische Übersetzung von I 119. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 214–222. - Gerhard Gentzen. The concept of infinity in mathematics. Englische Übersetzung von II 95. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 223–233. - Gerhard Gentzen. The present state of research into the foundations of mathematics. Englische Übersetzung von III 166. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 234–251. - Gerhard Gentzen. New version of the consistency proof for elementary number theory. Englische Übersetzung von IV 31. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 252–286. - Gerhard Gentzen. Provability and nonprovability of restricted transfinite induction in elementary number theory. Englische Übersetzung von IX 70. The collected papers of Gerhard Gentzen, herausgegeben von M. E. Szabo, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam und London1969, S. 287–308. - Gerhard Gentzen. Fusion of several complete inductions. Englische Übersetzung des Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen, Archiv für mathematische Logik und Grundlagenforschung, Bd. 2 Heft 1 (1954), S. 1–3. Ebd., S. 309–311. (Deutsches Original auch veröffentlicht in Archiv für Philosophie, Bd. 5 Heft 1 (1954), S. 81–83.)