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