"An Introduction to Gödel's Theorems (Cambridge Introductions to Philosophy)" - читать интересную книгу автора (Peter Smith)