An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Richard Zach, Sergio Galvan, Paolo Mancosu 0 Type: Book