Н.К. Верещагин, А. Шень.
Начала теории множеств. МЦНМО, 1999. English translation: A. Shen, N.K.
Vereshchagin. Basic Set Theory. American Mathematical Society. Student
mathematical library, vol. 17. 2002.
Н.К. Верещагин, А. Шень.
Вычислимые функции. МЦНМО, 1999. English translation: Computable functions.
American Mathematical Society. Student mathematical library, vol. 19. 2003
Н.К. Верещагин, А.
Шень. Языки и исчисления. МЦНМО, 2000.
В.А. Успенский, Н.К. Верещагин, А. Шень.
Колмогоровская сложность
N.K. Vereshchagin. Relativizability in Complexity Theory. Chapter in book
{\em L.D. Beklemishev, M. Pentus, and N. Vereshchagin, Provability, Complexity,
Grammars, AMS Translations}, Series 2, v. \textbf{192}, 1999, pp. 87--172.
В.А. Успенский, Н.К. Верещагин, В.Е. Плиско. Вводный курс математической
логики. Изд-во МГУ, 1991. 136 стр. Изд-во Наука, 2004. V.A. Uspensky, N.K.
Vereshchagin, V.E. Plisko. An Introduction to Mathematical Logic. 1991, 2004,
Nauka 136 pp. (Russian)