"Logic Colloquium 2005: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Athens, Greece, July 28-August 3, 2005" - читать интересную книгу автора (Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel)