"Gödel's Incompleteness Theorem (Little Mathematics Library)" - читать интересную книгу автора (V. A. Uspensky)