Игошин В. И. Математическая логика и теория алгоритмов: учеб. пособие для студ. высш. учеб. заведений/ В.И.Игошин.-2-е изд., стер. – М. : Издательский центр “Академия”, 2008.-448 с.
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов). Скачать