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