Руководитель проекта: Перетятькин Михаил Георгиевич

Исполнители проекта: 

Организация: Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"

Инвентарный номер: 0220РК01119

Регистрационный номер: 0118РК00470

Ключевые слова: логика предикатов,теория первого порядка,модель,изоморфизм,элементарная подмодель,однородная модель,теоретико-модельное свойство,алгебра Линденбаума,вычислимость,логическое программирование