Алгебраические системы
В книге систематически излагается общая теория алгебраических систем. Алгебраические системы, т. е. множества с определенными на них операциями и отношениями, принадлежат к числу наиболее фундаментальных математических структур. Общая теория алгебраических систем разработана, в основном, в последние 20 лет на грани между классической общей алгеброй и математической логикой, хотя основные направления ее развития были намечены еще в 30-х годах. Одна из главнейших черт этой теории - внимание к связям между общими свойствами классов алгебраических систем и синтаксическими особенностями языка, на котором определяются указанные классы. Благодаря этому, удается проникнуть вглубь структуры многих классических алгебраических и геометрических теорий и в то же время выявить ряд наиболее тонких особенностей главного современного формального языка - исчисления предикатов.
