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