Proof Theory door Gaisi Takeuti & K. Sch Tte