You are about to access our book library "An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs full version" .