Studies in constructive mathematics and mathematical logic. Part XII, Zap. Nauchn. Sem. POMI, 407, ed. V. P. Orevkov, 2012, 131 ñ. http://mi.mathnet.ru/book1466
Studies in constructive mathematics and mathematical logic. Part X, Zap. Nauchn. Sem. POMI, 241, ed. E. Ya. Dantsin, V. P. Orevkov, 1997 http://mi.mathnet.ru/book334
Studies in constructive mathematics and mathematical logic. Part IX, Zap. Nauchn. Sem. POMI, 220, ed. E. Ya. Dantsin, V. P. Orevkov, 1995, 149 ñ. http://mi.mathnet.ru/book922
Theoretical application of methods of mathematical logic. Part III, Zap. Nauchn. Sem. LOMI, 105, ed. D. Yu. Grigor'ev, V. P. Orevkov, 1981, 200 ñ. http://mi.mathnet.ru/book811
Theoretical application of methods of mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 68, ed. G. E. Mints, V. P. Orevkov, 1977, 150 ñ. http://mi.mathnet.ru/book502
Problems of the constructive direction in mathematics. Part 6, Trudy Mat. Inst. Steklov., 129, ed. V. P. Orevkov, N. A. Shanin, S. M. Nikol'skii, 1973, 271 ñ. http://mi.mathnet.ru/book1305
S. M. Nikol'skii, Logical and logical-mathematical calculus. Part 2, Trudy Mat. Inst. Steklov., 121, ed. V. P. Orevkov, 1972, 168 ñ. http://mi.mathnet.ru/book1295
Problems of the constructive direction in mathematics. Part 5, Trudy Mat. Inst. Steklov., 113, ed. V. P. Orevkov, N. A. Shanin, I. G. Petrovskii, 1970, 265 ñ. http://mi.mathnet.ru/book1283
Logical and logical-mathematical calculus. Part I, Trudy Mat. Inst. Steklov., 98, ed. V. P. Orevkov, I. G. Petrovskii, 1968, 208 ñ. http://mi.mathnet.ru/book1257
Problems of the constructive direction in mathematics. Part 4, Work collection, Trudy Mat. Inst. Steklov., 93, ed. V. P. Orevkov, N. A. Shanin, I. G. Petrovskii, 1967, 270 ñ. http://mi.mathnet.ru/book1222
