Комбинаторика и теория графов. V, Зап. научн. сем. ПОМИ, 446, ред. Г. А. Джонс, А. К. Звонкин, Ю. В. Матиясевич, 2016, 224 с. http://mi.mathnet.ru/book1633
Комбинаторика и теория графов. IV, Первый Российско-финский симпозиум по дискретной математике (специальный выпуск), Зап. научн. сем. ПОМИ, 402, ред. Ю. В. Матиясевич, Ю. Кархюмяки, 2012, 221 с. http://mi.mathnet.ru/book1443
Исследования по теории чисел. 10, Зап. научн. сем. ПОМИ, 377, ред. А. Макинтайр, Ю. И. Манин, Ю. В. Матиясевич, Б. З. Мороз, Д. Р. Хис-Браун, 2010, 245 с. http://mi.mathnet.ru/book1323
Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ред. Ю. В. Матиясевич, 2003 http://mi.mathnet.ru/book397
Исследования по конструктивной математике и математической логике. 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
