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

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

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