Reading list
Advanced topics in proof theory
Fördjupning i bevisteori
Course
LOG365
Second cycle
7.5 credits (ECTS)
About the Reading list
Valid from
Autumn semester 2026 (2026-08-31)
Decision date
2026-06-23
GU 2026/2779
Main reference
Structural Proof Theory by Sara Negri and Jan von Plato (Cambridge University Press, 2001).
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Mancosu, Galvan, and Zach (Oxford UP, 2021).
Basic Proof Theory by A.S. Troelstra and H. Schwichtenberg (CUP, 2000, 2nd edition).
Two recommended survey articles
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/
Michael Rathjen and Wilfried Seig, Proof Theory. The Stanford Encyclopedia of Philosophy.