"An introduction to Godel's theorems" - читать интересную книгу автора (Peter Smith)