An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Paolo Mancosu, Sergio Galvan, Richard Zach, 2021910782, 9780192895936, 9780192895943, 978-0192895936, 978-0192895943
In the name of Allah the Merciful