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