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