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