"Applied proof theory: Proof interpretations and their use in mathematics" - читать интересную книгу автора (Ulrich Kohlenbach)