Computational complexity theory. Part 5, Zap. Nauchn. Sem. LOMI, 192, ed. D. Yu. Grigor'ev, 1991, 177 ñ. http://mi.mathnet.ru/book895
Computational complexity theory. Part 4, Zap. Nauchn. Sem. LOMI, 176, ed. D. Yu. Grigor'ev, 1989, 155 ñ. http://mi.mathnet.ru/book879
Computational complexity theory. Part 3, Zap. Nauchn. Sem. LOMI, 174, ed. D. Yu. Grigor'ev, 1988, 182 ñ. http://mi.mathnet.ru/book877
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
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