Proof theory - Schutte, Kurt (Springer-Verlag, 1977)