"Recursion theory for metamathematics" - читать интересную книгу автора (Raymond M. Smullyan)