Лекции по математической логике и теории алгоритмов / Н. К. Верещагин, А. Шень. - Изд. 5-е, стереотипное. - Москва : Издательство МЦНМО, 2017. - (Современные лекционные курсы) - Верещагин, Н. К. (род. 1958) (Современные лекционные курсы, 2017)