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

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

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