Исчисление предикатов : учебное пособие; [для студентов направления "Информатика и вычислительная техника", профиль 23010062 "Вычислительные машины, комплексы, системы и сети"] / С. С. Ершов ; Министерство образования и науки Российской Федерации, Южно-Уральский государственный университет, Кафедра "Электронные вычислительные машины"
Язык: русский.Выходные данные: Челябинск : Издательский центр ЮУрГУ, 2016Физическая характеристика: 29, [2] с. ; 21 см.Библиография: Библиогр. в конце кн. (8 назв.).Предметная рубрика - Тема: Исчисление предикатов -- Учебные издания для высших учебных заведенийДругие классификации: ( ) В123я73-1 ; В123я73-1Коллекция: НБР ; Национальная библиография Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Библиогр. в конце кн. (8 назв.)