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