An introduction to proof theory normalization, cut-elimination, and consistency proofs - Mancosu, Paolo 1960-; Galvan, Sergio 1946-; Zach, Richard (Oxford University Press, 2021)