"Applied Proof Theory: Proof Interpretations and their Use in Mathematics" - читать интересную книгу автора (Kohlenbach U. )