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.