Гурова, ЛюбовьМихайловна. Математическая логика и теория алгоритмов : [учеб. пособие для вузов по направлениям 552800, 654600 "Информатика и вычисл. техника" специальности 220200 "Автоматизир. системы обраб. информатики и упр."] / Л. М. Гурова, Е. В. Зайцева ; [Моск. гос. горный ун-т]. - М. : Изд-во Моск. гос. горного ун-та, 2006. - 261, [1] с. : ил. ; 22 см. - (Высшее горное образование). - Библиогр.: с. 259. - ISBN 5-7418-0451-9 : Б. ц. р.