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