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