"Diagonalization and Self-Reference (Oxford Logic Guides, 27)" - читать интересную книгу автора (Raymond M. Smullyan)