"Logic colloquium 2007" - читать интересную книгу автора (Françoise Delon, Ulrich Kohlenbach, Penelope Maddy, Frank Stephan)