Title: Normalization, cut-elimination, and the theory of proofs
Subjects: Proof theory, Mathematics, philosophy