An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs

An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs