"Non-classical logics, model theory and computability: Proceedings Campinas, 1976" - читать интересную книгу автора (Lev D. Beklemishev)