Bevisteori

GU 2025/4253

The main reference for this course is
- Structural Proof Theory by Sara Negri and Jan von Plato (Cambridge University Press, 2001).

The following two textbooks are not necessary but may be useful as references:

- An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Mancosu, Galvan, and Zach (Oxford UP, 2021). This book covers the main results from the course from a slightly different perspective.

- Basic Proof Theory by A.S. Troelstra and H. Schwichtenberg (CUP, 2000, 2nd edition). This book technically focused (and dense) and covers a wide range of applications of proof theory. A list of errata (incomplete) is available from the first author’s webpage: http://www.uva.nl/profiel/t/r/a.s.troelstra/a.s.troelstra.html

Finally, two survey articles that are recommended are

- Samuel R. Buss’ “An Introduction to Proof Theory,” the opening chapter to the Handbook of Proof Theory (S. R. Buss, ed; Elsevier, Amsterdam, 1998). An electronic copy of this article is available from the author’s webpage: http://www.math.ucsd.edu/\~sbuss/ResearchWeb/handbookI/

- The Stanford Encyclopedia of Philosophy has a very detailed article on the history and scope of Proof Theory.