"Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (A. S. Troelstra, H. Schwichtenberg, Anne S. Troelstra)