A part of mathematical logic concerned with the notion of proof.
Wikipedia, Proof theory.
Jean-Yves Girard, Yves Lafont, and Paul Taylor, Proofs and Types, 1990. (web)
Martin Hyland provides some abstract perspectives on proof theory as a subject in the introduction to his essay, Proof Theory in the Abstract.