"Logic Colloquium 2006 (Lecture Notes in Logic)" - читать интересную книгу автора (S. Barry Cooper, Herman Geuvers, Anand Pillay, Jouko Väänänen)