Руководитель проекта: Байжанов Бектур Сембиулы

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

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

Инвентарный номер: 0218РК01129

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

Ключевые слова: Полные теории,Алгебраические замыкания,Определимость типа,Расширение сигнатуры,Упорядоченные структуры