Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - М. : Академия, 2005. - 302с. - (Высшее профессиональное образование). - ISBN 5-7695-1364-0 : Б. ц. Библиогр.: с.301.-(В пер.)