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