"Logic Colloquium 2005" - читать интересную книгу автора (Costas Dimitracopoulos, Ludomir Newelski, Dag Normann, John R. Steel)