Title: Proof Theory (Studies in Logic and the Foundations of Mathematics)