Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов.
Часть 1. Начала теории множеств. Ч.1 Изд. 8, стер.

Доктор физико-математических наук, профессор кафедры математической логики и теории алгоритмов механико-математического факультета МГУ имени М. В. Ломоносова. Профессор факультета компьютерных наук НИУ ВШЭ и Школы анализа данных ООО «Яндекс». Учился в МГУ на механико-математическом факультете, который окончил в 1981 г. Там же окончил аспирантуру и защитил кандидатскую диссертацию под руководством В. А. Успенского в 1986 г. В 1996 г. защитил диссертацию на степень доктора физико-математических наук по теме «Релятивизуемость в структурной теории сложности вычислений». Специализируется в теории алгоритмов. Член Европейской академии по секции информатики. Автор и соавтор более 100 публикаций в международных рецензируемых научных изданиях и 8 книг.