Национальные ресурсы / Отчеты о НИР

Алгебры Линденбаума, алгоритмические свойства семантических классов моделей и группы автоморфизмов моделей теорий первого порядка

Руководитель проекта: М.Г.Перетятькин
Исполнители проекта: К.Ж.Кудайбергенов
Организация: Ин-т мат.
Инвентарный номер: 0205РК00039
Регистрационный номер: 0103РК00753
Ключевые слова: Алгебра, Линденбаума алгебра, Логика предикатов, Математическая логика, Алгоритмы, Автоморфизмы,