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