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