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