"Logic in Algebraic Form, Three Languages and Theories " - читать интересную книгу автора (Lev D. Beklemishev)