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

Вычислимость и определимость в арифметике, модели стабильных теорий первого порядка

Руководитель проекта: С.А.Бадаев
Исполнители проекта: Е.Р.Байсалов
Организация: НИИ мех. и мат. при КазНУ
Инвентарный номер: 0203РК00787
Регистрационный номер: 0103РК00709
Ключевые слова: Подмножества [мат.], Множества [мат.], Решетки [мат.], Арифметика, Алгоритмы,