"Mathematical Logic" - читать интересную книгу автора (Kleene S. C.)