About Richard Zach Books by Richard Zach An Introduction to Proof Theory Normalization, Cut-Elimination, and Consistency Proofs by (author) Paolo Mancosu, Sergio Galvan & Richard Zach