Жетекшінің аты-жөні, тегі: Перетятькин Михаил Георгиевич

Work head: 

: Республиканское государственное предприятие на праве хозяйственного ведения "Институт математики и математического моделирования"

Инвентарлық номер: 0220РК01119

Тіркелген номер: 0118РК00470

негізгі сөздер: логика предикатов,теория первого порядка,модель,изоморфизм,элементарная подмодель,однородная модель,теоретико-модельное свойство,алгебра Линденбаума,вычислимость,логическое программирование