An introduction to proof theory : normalization, cut-elimination, and consistency proofs /

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Bibliographic Details

Main Authors:	Mancosu, Paolo (Author), Galvan, Sergio, 1946- (Author), Zach, Richard (Author)
Format:	eBook
Language:	English
Published:	Oxford ; New York, NY : Oxford University Press, 2021.
Subjects:	Proof theory. Théorie de la preuve. Proof theory Electronic books.
Online Access:	Connect to the full text of this electronic book