Proof theory - Schütte, Kurt (Springer, 1977)