Proof Theory ("Beweistheorie"[Engl.]) - Schuette, Kurt (Grundlehren der mathematischen Wissenschaften, 1977)