"Recursion Theory for Metamathematics" - читать интересную книгу автора (Smullyan Raymond)