"Gödel's Incompleteness Theorems (Oxford Logic Guides, 19)" - читать интересную книгу автора (Raymond M. Smullyan)