"Logic colloquium '77: Proceedings Wroclaw, 1977" - читать интересную книгу автора (Lev D. Beklemishev)