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