Selected papers in proof theory

Content: Introduction. Finite Investigations of Transfinite Derivations. Normalization of Finite Terms and Derivations via Infinite Ones. A New Reduction Sequence for Arithmetic. Heyting Predicate Calculus with Epsilon Symbol. On E-theorems. Stability of E-theorems and Program Verification. Normalization of Natural Deduction and the Effectivity of Classical Existence. On Novikov's Hypothesis. Reflection and Transfinite Induction. Proof Theory and Category Theory. Closed Categories and the Theory of Proofs. A Simple Proof of the Coherence Theorem for Cartesian Closed Categories. Lewis' Systems and System T (1965-1973).