Editing Cut-elimination theorem (section)

== References ==
* {{Cite journal|last=Gentzen|first=Gerhard|author-link=Gerhard Gentzen|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|url-access=subscription}}
:{{cite journal | first=Gerhard | last=Gentzen | author-mask=1| year=1964|orig-year=1935| title=Investigations into logical deduction | journal=[[American Philosophical Quarterly]] | volume=1 | number=4 | pages=249–287}}
* {{Cite journal|last=Gentzen|first=Gerhard|author-link=Gerhard Gentzen|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|url-access=subscription}}
:{{cite journal | first=Gerhard | last=Gentzen | author-mask=1| year=1965|orig-year=1935| title=Investigations into logical deduction | journal=American Philosophical Quarterly | volume=2 | number=3 | pages=204–218}}
* {{cite book|last1=Curry|first1=Haskell Brooks|author1-link=Haskell Curry|title=Foundations of mathematical logic|orig-year=1963|year=1977|publisher=Dover Publications Inc.|location=New York|isbn=978-0-486-63462-3}}
* {{cite book|last1=Kleene|first1=Stephen Cole|author1-link=Stephen Cole Kleene|title=Introduction to metamathematics|orig-year=1952|year=2009|publisher=Ishi Press International|isbn=978-0-923891-57-2}} 
* {{cite journal | first=George | last=Boolos | author-link=George Boolos | title=Don't eliminate cut | journal=[[Journal of Philosophical Logic]] | volume=13 | number=4 | pages=373–378 | year=1984| doi=10.1007/BF00247711 }}