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