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

Выразительная сила логики предикатов и групповые свойства моделей теорий первого порядка

Руководитель проекта: М.Г. Перетятькин
Исполнители проекта: Кудайбергенов К.Ж.
Организация: Институт математики
Инвентарный номер: 0211РК00890
Регистрационный номер: 0109РК00731
Ключевые слова: алгебра Линденбаума, математическая логика, предикаты,