Н.К. Верещагин, А. Шень. Начала теории множеств. МЦНМО, 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.

В.А. Успенский, Н.К. Верещагин, А. Шень. Колмогоровская сложность (неопубликованная книга). Postcript, PDF.

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)