Editing Gerhard Gentzen (section)

==Publications==
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|year=1932|title=Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen|journal=Mathematische Annalen|volume=107 | issue = 2 |pages=329–350|doi=10.1007/bf01448897|s2cid=119534269|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002275872}}
* {{Cite journal|author-mask=0|last=Gentzen|first=Gerhard|year=1935a|title=Untersuchungen über das logische Schließen. I|journal=[[Mathematische Zeitschrift]]|volume=39 | issue = 2 |pages=176–210|doi=10.1007/bf01201353 |s2cid=121546341|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375508|archive-url=https://web.archive.org/web/20151224194624/http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=17178|archive-date=2015-12-24|url-status=live}}
:{{cite journal|author-mask=1|last=Gentzen|first=Gerhard|year=1964|orig-year=1935| title=Investigations into logical deduction | journal=[[American Philosophical Quarterly]] | volume=1 | number=4 | pages=249–287}}
* {{Cite journal|author-mask=0|last=Gentzen|first=Gerhard|year=1935b|title=Untersuchungen über das logische Schließen. II|journal=[[Mathematische Zeitschrift]]|volume=39 | issue = 3 |pages=405–431|doi=10.1007/bf01201363 |s2cid=186239837|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002375605|archive-url=https://archive.today/20120709063902/http://gdz.sub.uni-goettingen.de/dms/load/img/?IDDOC=17188|archive-date=2012-07-09|url-status=live}}
:{{cite journal|author-mask=1|last=Gentzen|first=Gerhard| year=1965|orig-year=1935| title=Investigations into logical deduction | journal=American Philosophical Quarterly | volume=2 | number=3 | pages=204–218}}
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|title=Die Widerspruchsfreiheit der Stufenlogik|journal=Mathematische Zeitschrift|volume=41|year=1936a|pages=357–366|doi=10.1007/BF01180425|s2cid=122979277|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002376741}}
* {{Cite journal|display-authors=0|last=Gentzen|doi=10.1007/BF01565428|first=Gerhard|title=Die Widerspruchsfreiheit der reinen Zahlentheorie|journal=Mathematische Annalen|volume=112|year=1936b|pages=493–565|s2cid=122719892|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002278391}}
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|title=Der Unendlichkeitsbegriff in der Mathematik. Vortrag, gehalten in Münster am 27. Juni 1936 am Institut von Heinrich Scholz|journal=Semester-Berichte Münster|year=1936–1937|pages=65–80|trans-title=Lecture held in Münster on 27 June 1936 at the institute of Heinrich Scholz |language=de}}
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|title=Unendlichkeitsbegriff und Widerspruchsfreiheit der Mathematik|journal=Actualités scientifiques et industrielles|volume=535|year=1937|pages=201–205}}
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|title=Die gegenwärtige Lage in der mathematischen Grundlagenforschung|journal=Deutsche Mathematik|volume=3|year=1938|pages=255–268}}{{sfn|Rosser|1939}}
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|title=Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie|journal=Forschungen zur Logik und zur Grundlegung der Exakten Wissenschaften|volume=4|year=1938|pages=19–44}}{{sfn|Rosser|1939}}
* {{Cite journal|display-authors=0|last=Gentzen|doi=10.1007/BF01564760|first=Gerhard|title=Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie|journal=Mathematische Annalen|volume=119|year=1943|pages=140–161|s2cid=120335524|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002281287}}

===Posthumous===
* {{Cite journal|display-authors=0|last=Gentzen|first=Gerhard|title=Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen|journal=Archiv für mathematische Logik und Grundlagenforschung|language=de|volume=2 | issue = 1 |year=1954|pages=81–93|doi=10.1007/BF01969420 |url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002042649}}
*{{Cite book|display-authors=0|last=Gentzen|first=Gerhard|editor-last=M. E.|editor-first=Szabo|editor-link=M. E. Szabo|year=1969|title=Collected Papers of Gerhard Gentzen|publisher=North-Holland|edition=Hardcover|series=Studies in logic and the foundations of mathematics|isbn=0-7204-2254-X|url-access=registration|url=https://archive.org/details/collectedpaperso0000gent}} - (English translation).
* {{Cite journal|display-authors=0|last=Gentzen|doi=10.1007/BF02015370|first=Gerhard|title=Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie |journal=Archiv für mathematische Logik und Grundlagenforschung|volume=16|year=1974|pages=97–118|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002044366|issue=3–4|s2cid=117444881}} – Published by [[Paul Bernays]].
* {{Cite journal|display-authors=0|last=Gentzen|doi=10.1007/BF02015371|first=Gerhard|title=Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik|journal=Archiv für mathematische Logik und Grundlagenforschung|volume=16|year=1974|pages=119–132|url=http://gdz.sub.uni-goettingen.de/dms/resolveppn/?PPN=GDZPPN002044374|issue=3–4|s2cid=120131107}} – Published by [[Paul Bernays]].
* {{Cite journal|display-authors=0|last1=Gentzen|first1=Gerhard|title=The normalization of derivations  |journal=The Bulletin of Symbolic Logic|volume=14|year=2008|pages=245–257|url=https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/issue/AE2DFF90879F5A83C60567BC42FC1A85}} – Published by [[Jan von Plato]].