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

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

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