Computational complexity theory. Part II, Zap. Nauchn. Sem. LOMI, 137, ed. A. O. Slisenko, D. Yu. Grigor'ev, 1984, 192 ñ. http://mi.mathnet.ru/book841
Computational complexity theory. Part I, Zap. Nauchn. Sem. LOMI, 118, ed. D. Yu. Grigor'ev, A. O. Slisenko, 1982, 216 ñ. http://mi.mathnet.ru/book822
Studies in constructive mathematics and mathematical logic. Part VIII, Zap. Nauchn. Sem. LOMI, 88, ed. Yu. V. Matiyasevich, A. O. Slisenko, 1979, 252 ñ. http://mi.mathnet.ru/book795
Studies in constructive mathematics and mathematical logic. Part VII, Zap. Nauchn. Sem. LOMI, 60, ed. Yu. V. Matiyasevich, A. O. Slisenko, 1976 http://mi.mathnet.ru/book500
Studies in constructive mathematics and mathematical logic. Part VI, Zap. Nauchn. Sem. LOMI, 40, ed. Yu. V. Matiyasevich, A. O. Slisenko, 1974, 163 ñ. http://mi.mathnet.ru/book536
Studies in constructive mathematics and mathematical logic. Part V, Zap. Nauchn. Sem. LOMI, 32, ed. Yu. V. Matiyasevich, A. O. Slisenko, 1972, 162 ñ. http://mi.mathnet.ru/book535
Studies in constructive mathematics and mathematical logic. Part IV, Zap. Nauchn. Sem. LOMI, 20, ed. Yu. V. Matiyasevich, A. O. Slisenko, 1971, 294 ñ. http://mi.mathnet.ru/book534
Studies in constructive mathematics and mathematical logic. Part III, Zap. Nauchn. Sem. LOMI, 16, ed. A. O. Slisenko, 1969, 187 ñ. http://mi.mathnet.ru/book533
Studies in constructive mathematics and mathematical logic. Part II, Zap. Nauchn. Sem. LOMI, 8, ed. A. O. Slisenko, 1968, 280 ñ. http://mi.mathnet.ru/book532
Studies in constructive mathematics and mathematical logic. Part I, Zap. Nauchn. Sem. LOMI, 4, ed. A. O. Slisenko, 1967, 218 ñ. http://mi.mathnet.ru/book531