Basic proof theory

1. Introduction 2. N-systems and H-systems 3. Gentzen systems 4. Cut elimination with applications 5. Bounds and permutations 6. Normalization for natural deduction 7. Resolution 8. Categorical logic 9. Modal and linear logic 10. Proof theory of arithmetic 11. Second-order logic Solutions to selected exercises. Bibliography Symbols and notation Index.