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

Алгебры Линденбаума и алгоритмические свойства семантических классов моделей и группы автоморфизмов моделей теорий первого порядка

Жетекшінің аты-жөні, тегі: М.Г.Перетятькин
Work head: К.Ж.Кудайбергенов
: Ин-т мат.
Инвентарлық номер: 0208РК01321
Тіркелген номер: 0106РК00305
негізгі сөздер: Алгебра, Линденбаума алгебра, Автоморфизмы, Группы [мат.], Математическая логика, Предикаты,