Proof Theory In Computer Science door Reinhard Kahle & P. Schroeder-Heister