An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs - Mancosu et al (OUPOxford University Press, 2021)