"Recursion Theory for Metamathematics (Oxford Logic Guides, Volume 22)" - читать интересную книгу автора (Raymond M. Smullyan)