Basic Proof Theory door Anne S. Troelstra & Helmut Schwichtenberg