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