Игошин В. И. Задачи и упражнения по математической логике и теории алгоритмов : [учебное пособие для вузов по специальности 032100 "Математика"] / В. И. Игошин. - М. : Академия, 2005. - 302, [1] с. - ( Высшее профессиональное образование ) - ( Педагогические специальности )