Математическая логика и теория алгоритмов. Логика предикатов, учебное пособие, [для студентов специальности "Информационные системы и технологии"]
2011-4/1451 2011-4/1451 - 100 экз.978-5-398-00484-7/[2011-4544]/русский/Математическая логика и теория алгоритмов. Логика предикатов : учебное пособие : [для студентов специальности "Информационные системы и технологии"] / К.М. Чудинов ; М-во образования и науки Рос. Федерации, Гос. образоват. учреждение высш. проф. образования "Перм. гос. техн. ун-т".Математическая логика и теория алгоритмов. Логика предикатов : учебное пособие : [для студентов специальности "Информационные системы и технологии"] / К.М. Чудинов.Математическая логика и теория алгоритмов. Логика предикатов : учебное пособие : [для студентов специальности "Информационные системы и технологии"].Пермь/Изд-во Пермского государственного технического университета/, 2010 ( ). - Изд-во Пермского государственного технического университета, 2010. - 72 с. ; 21 см.Математическая логика и теория алгоритмов. Логика предикатов : учебное пособие : [для студентов специальности "Информационные системы и технологии"]. Пермь, 2010 .
Библиогр.: с. 72 (6 назв.). Библиогр.: с. 72 (6 назв.).Логика предикатов/Исчисление предикатов -- Учебные издания для высших учебных заведений/22.122/22.127/В123я73-1/
Библиогр.: с. 72 (6 назв.). Библиогр.: с. 72 (6 назв.).Логика предикатов/Исчисление предикатов -- Учебные издания для высших учебных заведений/22.122/22.127/В123я73-1/