Fördjupning i bevisteori

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.