«Локально аксиоматизируемые классы колец, II» The Journal of Symbolic Logic, 1992, vol. 57, № 1, p. 377.

“Heyting-Valued Analysis: P. S. Novikov’s Hypotheses” Contemporary Mathematics, 1993, V. 131, Pt. 3, PP. 565–583.

«Гейтинговозначный анализ: гипотеза П.С. Новикова» The Journal of Symbolic Logic, 1991, vol. 56, № 3, p. 1131.

«Перевод выводимости в классической теории множеств в интуиционистскую теорию множеств для языка колец» Алгебра и Логика (СО АН СССР), Новосибирск, 1991, т. 30, № 6, сс. 652–670.
Перейти к публикации

«Интуиционистская теория алгебраических систем и нестандартный анализ» Алгебра и Логика (СО АН СССР), Новосибирск, 1991, т. 30, № 3, сс. 320–333.
Перейти к публикации

«Гейтинговозначный анализ: гипотеза П.С. Новикова» в книге «Основания неклассических логик», М.: АН СССР, 1990, стр. 105–119.

«Модельная полнота теории и оценки формул» Алгебра и Логика (СО АН СССР), Новосибирск, 1990, т. 29, № 1, сс. 15–28.
Перейти к публикации

«Оценки и пучки. О некоторых вопросах нестандартного анализа» Успехи математических наук, 1989, т. 44, № 4 (268), сс. 99–153.
Перейти к публикации

“On some applications of Heyting-valued analysis II” Article in the book COLOG-88, Lecture Notes in Computer Science, Vol. 417, Springer, 1990, P. 122–145, Proceedings of the International Conference on Computer Logic, Tallinn, USSR, December 12–16 1988

Основные понятия школьной математики. Учебное пособие для вузов. М.: Просвещение, 1987. 600 стр. ISBN 103-03-87.
Перейти к публикации

«Некоторые применения теории топосов к изучению алгебраических систем», дополнение к книге: П.T. Джонстон «Теория топосов», М.: Наука, 1986, стр. 376–433.

«О некоторых алгебраических проблемах нестандартного анализа» Доклады АН СССР, 1985, т. 280, № 1.

«Вложение пучков в гейтинговозначный универсум» Доклады АН СССР, 1983, т. 268, № 4.

«Булевы расширения равномерных структур» В книге: «Исследования по неклассическим логикам и формальным системам», Наука, 1983, сс. 82–153.

«Некоторые применения нестандартного анализа в теории булевозначных мер» Доклады АН СССР, 1981, т. 256, № 5, сс. 1037–1041.

Дискретная математика. Учебное пособие для вузов. М.: Изд-во МО, 1976. 175 стр. ISBN G-917017-89.

«Случайные последовательности вещественных чисел и А₂ множества» В книге: «Исследования по теории множеств и неклассическим логикам», Наука, Москва, 1976, сс. 96–122.

«Независимость некоторых предложений дескриптивной теории множеств от теории множеств Цермело-Френкеля» Вестник Московского университета, 1971, № 2, сс. 78–82, издательство МГУ.

«Определимые последовательности ординалов» Доклады АН СССР, 1971, т. 196. No 6, Наука.

«Существование неизмеримого множества типа A₂ влечёт существование несчётного множества без совершенного ядра типа CA», Доклады АН СССР, 1970, том 195, № 3, стр. 548–550.

«Конструкция эффективно недостижимого кардинала в некотором естественном расширении теории множеств Цермело-Френкеля» Доклады АН СССР, 1969, т. 187, № 6, Наука.

«Некоторые следствия гипотезы о несчётности множества конструктивных (по Гёделю) вещественных чисел» Доклады АН СССР, 1968, т. 182, № 4, сс. 758–759, Наука.