Proof Theory (STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS)