"Aspects of Incompleteness (Lecture Notes in Logic 10)" - читать интересную книгу автора (Per Lindstroem)