Игошин, В. И. Математическая логика и теория алгоритмов [Текст] : учеб. пособие для вузов / В. И. Игошин. - 2-е изд., стер. - М. : Академия, 2008. - 446 с. - (Высшее профессиональное образование : педагогические специальности). - ISBN 978-5-7695-4593-1 : Б. ц. Библиогр.: с.435-442.-(В пер.)