Proof theory / - Schütte, K. (Springer-Verlag,, 1977)