| Untersuchungen über das logische Schließen. I G Gentzen Mathematische Zeitschrift 39, 176-210, 1934 | 4185 | 1934 |
| Investigations into logical deduction G Gentzen The Collected Papers of Gerhard Gentzen, 68-131, 1969 | 1250 | 1969 |
| Die Widerspruchsfreiheit der reinen Zahlentheorie G Gentzen Mathematische Annalen 112, 493-565, 1936 | 846 | 1936 |
| The Collected Papers of Gerhard Gentzen G Gentzen | 835 | 1969 |
| Untersuchungen über das logische Schließen. II G Gentzen Mathematische Zeitschrift 39, 405-431, 1935 | 710 | 1935 |
| Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie, Forschungen zur Logik und zur Grundlegung der exakter Wissenschaften G Gentzen Neue Folge 4, 19-44, 1938 | 287 | 1938 |
| Investigations into logical deduction G Gentzen American Philosophical Quarterly 1 (4), 288-306, 1964 | 222 | 1964 |
| Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie G Gentzen Mathematische Annalen 119, 140-161, 1943 | 203 | 1943 |
| Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen G Gentzen Mathematische Annalen 107, 329-350, 1932 | 114 | 1932 |
| New version of the consistency proof for elementary number theory G Gentzen The Collected Papers of Gerhard Gentzen, 252-286, 1969 | 98 | 1969 |
| Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik G Gentzen Archiv für mathematische Logik und Grundlagenforschung 16 (3), 119-132, 1974 | 95 | 1974 |
| Gentzen's proof of normalization for intuitionistic natural deduction J von Plato, G Gentzen The Bulletin of Symbolic Logic 14, 240-257, 2008 | 82 | 2008 |
| Die gegenwärtige Lage in der mathematischen Grundlagenforschung G Gentzen Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften 4, 5-18, 1938 | 81* | 1938 |
| Recherches sur la déduction logique G Gentzen | 74 | 1957 |
| Untersuchngen uber logishce ShlieBen G Gentzen Mathematishe Zeitschrift 39, 176-210, 1935 | 55 | 1935 |
| Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie G Gentzen Archiv für mathematische Logik und Grundlagenforschung 16 (3), 97-118, 1974 | 50 | 1974 |
| Investigations into logical deduction, The Collected Papers of Gerhard Gentzen G Gentzen Studies in Logic and the Foundations of Mathematics, edited by A. Heyting, A …, 1969 | 48 | 1969 |
| Die Widerspruchsfreiheit der Stufenlogik G Gentzen Mathematische Zeitschrift 41, 357-366, 1936 | 34 | 1936 |
| The collected papers of Gerhard Gentzen, ed G Gentzen, ME Szabo | 17 | 1969 |
| Investigations into logical deduction: II G Gentzen American Philosophical Quarterly 2 (3), 204-218, 1965 | 16 | 1965 |
