An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Paolo Mancosu, Sergio Galvan, Richard Zach, 2021910782, 9780192895936, 9780192895943, 978-0192895936, 978-0192895943