Matiyasevich Yuri Vladimirovich

Books in Math-Net.Ru

1. Combinatorics and graph theory. Part V, Zap. Nauchn. Sem. POMI, 446, ed. G. A. Jones, A. K. Zvonkin, Yu. V. Matiyasevich, 2016, 224 с.
   http://mi.mathnet.ru/book1633
2. Combinatorics and graph theory. Part IV, RuFiDiM'11, Zap. Nauchn. Sem. POMI, 402, ed. Yu. V. Matiyasevich, J. Karhumäki, 2012, 221 с.
   http://mi.mathnet.ru/book1443
3. Studies in number theory. Part 10, Zap. Nauchn. Sem. POMI, 377, ed. A. Macintyre, Yu. I. Manin, Yu. V. Matiyasevich, B. Z. Moroz, D. R. Heath-Brown, 2010, 245 с.
   http://mi.mathnet.ru/book1323
4. Computational complexity theory. Part VIII, Zap. Nauchn. Sem. POMI, 304, ed. Yu. V. Matiyasevich, 2003
   http://mi.mathnet.ru/book397
5. 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
6. 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
7. 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
8. 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
9. 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