Судоплатов С. В. Математическая логика и теория алгоритмов : учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"] / С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т. - Москва [и др.] : ИНФРА-М [и др.], 2004. - 223, [1] с.: ил. - ( Высшее образование )