Исследования по конструктивной математике и математической логике. XII, Посвящается памяти Николая Александровича ШАНИНА, Зап. научн. сем. ПОМИ, 407, ред. В. П. Оревков, 2012, 131 с. http://mi.mathnet.ru/book1466
Исследования по конструктивной математике и математической логике. X, Зап. научн. сем. ПОМИ, 241, ред. Е. Я. Данцин, В. П. Оревков, 1997 http://mi.mathnet.ru/book334
Исследования по конструктивной математике и математической логике. IX, Зап. научн. сем. ПОМИ, 220, ред. Е. Я. Данцин, В. П. Оревков, 1995, 149 с. http://mi.mathnet.ru/book922
Теоретические применения методов математической логики. III, Зап. научн. сем. ЛОМИ, 105, ред. Д. Ю. Григорьев, В. П. Оревков, 1981, 200 с. http://mi.mathnet.ru/book811
Теоретические применения методов математической логики. II, Зап. научн. сем. ЛОМИ, 68, ред. Г. Е. Минц, В. П. Оревков, 1977, 150 с. http://mi.mathnet.ru/book502
Проблемы конструктивного направления в математике. 6, Тр. МИАН СССР, 129, ред. В. П. Оревков, Н. А. Шанин, С. М. Никольский, 1973, 271 с. http://mi.mathnet.ru/book1305
С. М. Никольский, Логические и логико-математические исчисления. 2, Тр. МИАН СССР, 121, ред. В. П. Оревков, 1972, 168 с. http://mi.mathnet.ru/book1295
Проблемы конструктивного направления в математике. 5, Тр. МИАН СССР, 113, ред. В. П. Оревков, Н. А. Шанин, И. Г. Петровский, 1970, 265 с. http://mi.mathnet.ru/book1283
Логические и логико-математические исчисления. I, Тр. МИАН СССР, 98, ред. В. П. Оревков, И. Г. Петровский, 1968, 208 с. http://mi.mathnet.ru/book1257
Проблемы конструктивного направления в математике. 4, Сборник работ, Тр. МИАН СССР, 93, ред. В. П. Оревков, Н. А. Шанин, И. Г. Петровский, 1967, 270 с. http://mi.mathnet.ru/book1222
