Proof theory. - Elsevier Science Publishers, 1975. - ( Studies in Logic and the Foundations of Mathematics ; 81).