An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out…