Теория сложности вычислений. II, Зап. научн. сем. ЛОМИ, 137, ред. А. О. Слисенко, Д. Ю. Григорьев, 1984, 192 с. http://mi.mathnet.ru/book841
Теория сложности вычислений. I, Зап. научн. сем. ЛОМИ, 118, ред. Д. Ю. Григорьев, А. О. Слисенко, 1982, 216 с. http://mi.mathnet.ru/book822
Исследования по конструктивной математике и математической логике. VIII, Зап. научн. сем. ЛОМИ, 88, ред. Ю. В. Матиясевич, А. О. Слисенко, 1979, 252 с. http://mi.mathnet.ru/book795
Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, ред. Ю. В. Матиясевич, А. О. Слисенко, 1976 http://mi.mathnet.ru/book500
Исследования по конструктивной математике и математической логике. VI, Зап. научн. сем. ЛОМИ, 40, ред. Ю. В. Матиясевич, А. О. Слисенко, 1974, 163 с. http://mi.mathnet.ru/book536
Исследования по конструктивной математике и математической логике. V, Зап. научн. сем. ЛОМИ, 32, ред. Ю. В. Матиясевич, А. О. Слисенко, 1972, 162 с. http://mi.mathnet.ru/book535
Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, ред. Ю. В. Матиясевич, А. О. Слисенко, 1971, 294 с. http://mi.mathnet.ru/book534
Исследования по конструктивной математике и математической логике. III, Зап. научн. сем. ЛОМИ, 16, ред. А. О. Слисенко, 1969, 187 с. http://mi.mathnet.ru/book533
Исследования по конструктивной математике и математической логике. II, Зап. научн. сем. ЛОМИ, 8, ред. А. О. Слисенко, 1968, 280 с. http://mi.mathnet.ru/book532
Исследования по конструктивной математике и математической логике. I, Зап. научн. сем. ЛОМИ, 4, ред. А. О. Слисенко, 1967, 218 с. http://mi.mathnet.ru/book531