Электронный каталог

Книга
С14 М-215

Мальцев, Анатолий Иванович.
Алгебраические системы / Анатолий Иванович Мальцев. – М. : Наука, 1970. – 392 с. – (Современная алгебра). – Библиогр.: с.384-387.

С14 + С131
512.8


Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Индексный (книги) = С 131 - Высшая алгебра
Ключевых слов = алгебра
Ключевых слов = группоиды
Ключевых слов = алгебраические группы
Ключевых слов = семантика
Ключевых слов = синтаксис
Ключевых слов = математическая логика
Ключевых слов = квазимногообразия
Ключевых слов = многообразия