Теоретико-модельные свойства конечно аксиоматизируемых теорий с приложением к задачам логического программирования и структурные вопросы теории моделей
Руководитель проекта: Перетятькин Михаил Георгиевич
Исполнители проекта:
Организация: Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"
