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

Выразительная сила логики предикатов и групповые свойства моделей теорий первого порядка

Жетекшінің аты-жөні, тегі: М.Г.Перетятькин
Work head: К.Ж.Кудайбергенов
: Ин-т мат.
Инвентарлық номер: 0210РК00705
Тіркелген номер: 0109РК00731
негізгі сөздер: Линденбаума алгебра, Логика предикатов,