"Logic Colloquium 90. ASL Summer Meeting in Helsinki " - читать интересную книгу автора (Juha M.R. Oikkonen, Jouko Väänänen)