Editing Proof theory (section)

==References==
* J. Avigad and E.H. Reck (2001). [http://www.andrew.cmu.edu/user/avigad/Papers/infinite.pdf "'Clarifying the nature of the infinite': the development of metamathematics and proof theory]".  Carnegie-Mellon Technical Report CMU-PHIL-120.
* {{cite book|last1=Barwise |first1=Jon |author-link=Jon Barwise |year=1977 |title=Handbook of Mathematical Logic |series=Studies in Logic and the Foundations of Mathematics |volume=90 |isbn=072042285X |oclc=2347202 |publisher=North-Holland Publishing Company |lccn=76026032}} {{IAp|https://archive.org/details/handbookofmathem0090unse}}
* S. Buss, ed. (1998) ''[https://books.google.com/books?id=MfTMDeCq7ukC&dq=%22Handbook+of+Proof+Theory%22&pg=PP1 Handbook of Proof Theory].'' Elsevier.
* G. Gentzen (1935/1969).  "[https://www.jstor.org/stable/20009142 Investigations into logical deduction]". In M. E. Szabo, ed. ''Collected Papers of Gerhard Gentzen''. North-Holland.  Translated by Szabo from "Untersuchungen über das logische Schliessen", ''Mathematisches Zeitschrift'' v. 39, pp.&nbsp;176–210, 405&nbsp;431.
* {{cite book|last1=Girard |first1=J.-Y. |author-link1=Jean-Yves Girard |last2=Taylor |first2=P. |last3=Lafont |first3=Y. |year=2003 |orig-date=1989 |publisher=Cambridge University Press |url=https://www.irif.fr/~mellies//mpri/mpri-ens/biblio/proofs-and-types.pdf |title=Proofs and Types |isbn=0521371813}}
* {{Prawitz Natural Deduction|1965}} {{sfn whitelist|CITEREFPrawitz1965}}
* {{cite book |first=S. G. |last=Simpson |title=Subsystems of Second-order Arithmetic |edition=2 |year=2010 |publisher=Cambridge University Press |series=Perspectives in logic |isbn=9780521150149 |oclc=528432422}}
* [[A. S. Troelstra]] and H. Schwichtenberg (1996). ''Basic Proof Theory'', Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, {{isbn|0-521-77911-1}}.
* {{cite book|last=Wang |first=Hao |author-link=Hao Wang (academic) |title=Popular Lectures on Mathematical Logic |year=1981 |isbn=9780442231095 |publisher=[[Van Nostrand (publisher)|Van Nostrand Reinhold Company]] |oclc=6087107 |url=https://archive.org/details/popularlectureso0000wang |url-access=registration}}