ҒТА ұлттық қоры / ҒЗЖ туралы есептер

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

Жетекшінің аты-жөні, тегі: С.А.Бадаев
Work head: Е.Р.Байсалов
: НИИ мех. и мат. при КазНУ
Инвентарлық номер: 0203РК00787
Тіркелген номер: 0103РК00709
негізгі сөздер: Подмножества [мат.], Множества [мат.], Решетки [мат.], Арифметика, Алгоритмы,