Chapter 14: Proof Theory

Proof theory is the mathematical study of forms of proof. In this chapter we survey some of this rich and technically complex area.