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