"Logic colloquium '90: Proc. Helsinki 1990" - читать интересную книгу автора (Juha M.R. Oikkonen, Jouko Väänänen)