Алгоритмические проблемы алгебры и теории чисел; раскрашиваемость графов; дзета функция Римана.
Научная биография:
Окончил математико-механический факультет ЛГУ в 1969 г. Кандидатская диссертация — 1970 г. Докторская — 1972 г.
Доказал алгоритмическую нераспознаваемость наличия решений у диофантовых уравнений, решив тем самым десятую проблему Гильберта. Лауреат премии имени А. А. Маркова.
Опубликовал более 100 статей и одну монографию.
Основные публикации:
Матиясевич Ю. В., Десятая проблема Гильберта, Наука, М., 1993
Ю. В. Матиясевич, “Асимптотическая структура собственных чисел и собственных векторов некоторых треугольных ганкелевых матриц”, Чебышевский сб., 21:1 (2020), 259–272; Yu. V. Matiyasevich, “Asymptotic structure of eigenvalues and eigenvectors of certain triangular Hankel matrices”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 250–255
Ю. В. Матиясевич, “Гипотеза Римана как чётность специальных биномиальных коэффициентов”, Чебышевский сб., 19:3 (2018), 46–60; Yu. V. Matiyasevich, “The Riemann hypothesis as the parity of special binomial coefficients”, Doklady Mathematics (Supplementary issues), 106:2 (2022), 256–261
Ю. В. Матиясевич, “Небольшого количества сомножителей из эйлерова произведения достаточно для вычисления дзета-функции с большой точностью”, Труды МИАН, 299 (2017), 192–202; Yu. V. Matiyasevich, “A few factors from the Euler product are sufficient for calculating the zeta function with high precision”, Proc. Steklov Inst. Math., 299 (2017), 178–188
Ю. В. Матиясевич, “Гипотеза Римана в терминах собственных чисел специальных ганкелевых матриц”, Совр. пробл. матем., 23 (2016), 87–101; Yu. V. Matiyasevich, “Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices”, Proc. Steklov Inst. Math., 296, suppl. 2 (2017), 78–91
Yu. Matiyasevich, “Calculation of Belyǐ functions for trees with weighted edges”, Зап. научн. сем. ПОМИ, 446 (2016), 122–138; J. Math. Sci. (N. Y.), 226:5 (2017), 623–634
2015
6.
Ю. В. Матиясевич, “Дзета-функция Римана и конечные ряды Дирихле”, Алгебра и анализ, 27:6 (2015), 174–198; Yu. V. Matiyasevich, “Riemann's zeta function and finite Dirichlet series”, St. Petersburg Math. J., 27:6 (2016), 985–1002
Ю. В. Матиясевич, “Еще одно представление для суммы величин, обратных к нетривиальным нулям дзета-функции Римана”, Матем. заметки, 97:3 (2015), 471–474; Yu. V. Matiyasevich, “Yet Another Representation for Reciprocals of the Nontrivial Zeros of the Riemann Zeta Function”, Math. Notes, 97:3 (2015), 476–479
2011
8.
Ю. В. Матиясевич, “Что можно и что невозможно делать с диофантовыми проблемами”, Труды МИАН, 275 (2011), 128–143; Yu. V. Matiyasevich, “What can and cannot be done with Diophantine problems”, Proc. Steklov Inst. Math., 275 (2011), 118–132
Ю. В. Матиясевич, “Альтернативы формуле Эйлера–Маклорена для вычисления бесконечных сумм”, Матем. заметки, 88:4 (2010), 543–548; Yu. V. Matiyasevich, “Alternatives to the Euler–Maclaurin Formula for Calculating Infinite Sums”, Math. Notes, 88:4 (2010), 524–529
Ю. В. Матиясевич, “Диофантово представление чисел Бернулли и его приложения”, Труды МИАН, 242 (2003), 98–102; Yu. V. Matiyasevich, “A Diophantine Representation of Bernoulli Numbers and Its Applications”, Proc. Steklov Inst. Math., 242 (2003), 86–91
12.
Ю. В. Матиясевич, “Один вероятностный эквивалент гипотезы четырех красок”, Теория вероятн. и ее примен., 48:2 (2003), 411–416; Yu. V. Matiyasevich, “One Probabilistic equivalent of the four color conjecture”, Theory Probab. Appl., 48:2 (2004), 368–372
Ю. В. Матиясевич, “Некоторые алгебраические методы вычисления количества раскрасок графов”, Зап. научн. сем. ПОМИ, 283 (2001), 193–205; Yu. V. Matiyasevich, “Some algebraic methods for calculation of the number of colorings of a graph”, J. Math. Sci. (N. Y.), 121:3 (2004), 2401–2408
Ю. В. Матиясевич, “Новая техника для получения диофантовых представлений путем устранения ограниченных кванторов общности”, Зап. научн. сем. ПОМИ, 220 (1995), 83–92; Yu. V. Matiyasevich, “A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers”, J. Math. Sci. (New York), 87:1 (1997), 3228–3233
1990
16.
Ю. В. Матиясевич, А. Н. Терехов, Б. А. Федотов, “Унификация программного обеспечения микро-эвм на базе виртуальной машины”, Автомат. и телемех., 1990, № 5, 168–175; Yu. V. Matiyasevich, A. N. Terekhov, B. A. Fedotov, “Standardization of microcomputer software using virtual-machine design”, Autom. Remote Control, 51:5 (1990), 710–716
1989
17.
Ю. В. Матиясевич, “Связи между некоторыми суммами по тривиальным и нетривиальным
нулям дзета-функции Римана”, Матем. заметки, 45:2 (1989), 65–70; Yu. V. Matiyasevich, “A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function”, Math. Notes, 45:2 (1989), 131–135
Ю. В. Матиясевич, “Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел”, Тр. МИАН СССР, 168 (1984), 218–235; Yu. V. Matiyasevich, “Studies in certain algorithmic problems of algebra and number theory”, Proc. Steklov Inst. Math., 168 (1986), 227–252
Ю. В. Матиясевич, “Одно аналитическое представление для суммы величин, обратных к нетривиальным нулям дзета-функции Римана”, Тр. МИАН СССР, 163 (1984), 181–182; Yu. V. Matiyasevich, “An analytic representation for the sum of values inverse to nontrivial zeros of the Riemann zeta function”, Proc. Steklov Inst. Math., 163 (1985), 211–213
Ю. В. Матиясевич, “Простые числа перечисляются полиномом от 10 переменных”, Зап. научн. сем. ЛОМИ, 68 (1977), 62–82; Yu. V. Matiyasevich, “Primes are nonnegative values of a polynomial in 10 variables”, J. Soviet Math., 15:1 (1981), 33–44
Ю. В. Матиясевич, “Один класс критериев простоты, формулируемых в терминах делимости биномиальных коэффициентов”, Зап. научн. сем. ЛОМИ, 67 (1977), 167–183; Yu. V. Matiyasevich, “A class of primality criteria formulated in terms of the divisibility of binomial coefficients”, J. Soviet Math., 16:1 (1981), 874–885
Ю. В. Матиясевич, “Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов”, Зап. научн. сем. ЛОМИ, 60 (1976), 75–92; Yu. V. Matiyasevich, “A new proof of the theorem on exponential diophantine representation of enumerable sets”, J. Soviet Math., 14:5 (1980), 1475–1486
Ю. В. Матиясевич, “Применение методов теории логического вывода в теории графов”, Матем. заметки, 12:6 (1972), 781–790; Yu. V. Matiyasevich, “The application of the methods of the theory of logical derivation to graph theory”, Math. Notes, 12:6 (1972), 904–908
Ю. В. Матиясевич, “Диофантово представление перечисленных предикатов”, Матем. заметки, 12:1 (1972), 115–120; Yu. V. Matiyasevich, “Diophantine representation of enumerable predicates”, Math. Notes, 12:1 (1972), 501–504
29.
Ю. В. Матиясевич, “Диофантовы множества”, УМН, 27:5(167) (1972), 185–222; Yu. V. Matiyasevich, “Diophantine sets”, Russian Math. Surveys, 27:5 (1972), 124–164
Ю. В. Матиясевич, “Диофантово представление перечислимых предикатов”, Изв. АН СССР. Сер. матем., 35:1 (1971), 3–30; Yu. V. Matiyasevich, “Diophantine representation of enumerable predicates”, Math. USSR-Izv., 5:1 (1971), 1–28
С. Н. Артемов, Л. Д. Беклемишев, Л. Я. Боркин, А. М. Вершик, Э. А. Гирш, Е. Я. Данцин, И. А. Ибрагимов, Е. В. Кальменс, В. Я. Крейнович, Д. А. Кубенский, А. А. Лодкин, Ю. В. Матиясевич, Б. А. Новиков, В. П. Оревков, А. Л. Семенов, А. О. Слисенко, А. Х. Шень, “Григорий Самуилович Цейтин (некролог)”, УМН, 78:3(471) (2023), 170–176; S. N. Artemov, L. D. Beklemishev, L. Ya. Borkin, A. M. Vershik, E. A. Hirsch, E. Ya. Dantsin, I. A. Ibragimov, E. V. Kalmens, V. Ya. Kreinovich, D. A. Koubenski, A. A. Lodkin, Yu. V. Matiyasevich, B. A. Novikov, V. P. Orevkov, A. L. Semenov, A. O. Slissenko, A. Kh. Shen, “Gregory Samuilovich Tseytin (obituary)”, Russian Math. Surveys, 78:3 (2023), 555–561
2022
42.
С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022), 191–195; S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Russian Math. Surveys, 77:1 (2022), 183–188
2021
43.
Ю. Матиясевич, “Десятая проблема Гильберта”, Квант, 2021, № 2, 2–8
Д. Ю. Бураго, Ю. Д. Бураго, А. Л. Вернер, А. М. Вершик, М. Л. Громов, И. А. Ибрагимов, С. В. Иванов, С. В. Кисляков, С. С. Кутателадзе, А. А. Лодкин, Ю. В. Матиясевич, Н. Е. Мнёв, А. И. Назаров, Г. Ю. Панина, Ю. Г. Решетняк, В. А. Рыжик, Н. Н. Уральцева, Я. М. Элиашберг, “Виктор Абрамович Залгаллер (некролог)”, УМН, 76:5(461) (2021), 195–198; D. Yu. Burago, Yu. D. Burago, A. L. Verner, A. M. Vershik, M. L. Gromov, I. A. Ibragimov, S. V. Ivanov, S. V. Kislyakov, S. S. Kutateladze, A. A. Lodkin, Yu. V. Matiyasevich, N. E. Mnev, A. I. Nazarov, G. Yu. Panina, Yu. G. Reshetnyak, V. A. Rizhik, N. N. Uraltseva, Ya. M. Eliashberg, “Viktor Abramovich Zalgaller (obituary)”, Russian Math. Surveys, 76:5 (2021), 927–931
45.
М. И. Белишев, С. Ю. Доброхотов, И. А. Ибрагимов, А. П. Киселев, С. В. Кисляков, М. А. Лялинов, Ю. В. Матиясевич, В. Г. Романов, В. П. Смышляев, Т. А. Суслина, Н. Н. Уральцева, “Василий Михайлович Бабич (к девяностолетию со дня рождения)”, УМН, 76:1(457) (2021), 201–202; M. I. Belishev, S. Yu. Dobrokhotov, I. A. Ibragimov, A. P. Kiselev, S. V. Kislyakov, M. A. Lyalinov, Yu. V. Matiyasevich, V. G. Romanov, V. P. Smyshlyaev, T. A. Suslina, N. N. Ural'tseva, “Vasilii Mikhailovich Babich (on his ninetieth birthday)”, Russian Math. Surveys, 76:1 (2021), 193–194
2020
46.
С. В. Востоков, Ю. В. Матиясевич, Ю. В. Нестеренко, В. Н. Чубариков, В. И. Берник, А. Лауринчикас, В. Г. Журавлёв, В. Г. Чирский, Н. М. Добровольский, У. М. Пачев, Ф. В. Подсыпанин, И. Ю. Реброва, Б. М. Широков, Н. Н. Добровольский, “Евгений Владимирович Подсыпанин”, Чебышевский сб., 21:4 (2020), 425–426
47.
Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020), 191–194; L. D. Beklemishev, A. V. Vasil'ev, E. P. Vdovin, S. S. Goncharov, V. V. Kozlov, P. S. Kolesnikov, V. D. Mazurov, Yu. V. Matiyasevich, A. S. Morozov, A. N. Parshin, V. G. Puzarenko, M. V. Schwidefsky, “Yurii Leonidovich Ershov (on his 80th birthday)”, Russian Math. Surveys, 75:3 (2020), 581–585
48.
С. И. Адян, В. М. Бухштабер, Е. И. Зельманов, С. В. Кисляков, В. В. Козлов, Ю. В. Матиясевич, С. П. Новиков, Д. О. Орлов, А. Н. Паршин, В. Л. Попов, Д. В. Трещев, “Владимир Петрович Платонов (к восьмидесятилетию со дня рождения)”, УМН, 75:2(452) (2020), 197–200; S. I. Adian, V. M. Buchstaber, E. I. Zelmanov, S. V. Kislyakov, V. V. Kozlov, Yu. V. Matiyasevich, S. P. Novikov, D. O. Orlov, A. N. Parshin, V. L. Popov, D. V. Treschev, “Vladimir Petrovich Platonov (on his 80th birthday)”, Russian Math. Surveys, 75:2 (2020), 387–391
2019
49.
С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019), 165–180; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753
С. А. Айвазян, В. Б. Алексеев, В. А. Ватутин, М. М. Глухов, А. А. Грушо, В. А. Емеличев, А. М. Зубков, Г. И. Ивченко, О. М. Касим-Заде, В. А. Каштанов, И. Н. Коваленко, В. Б. Кудрявцев, В. В. Мазалов, Ю. В. Матиясевич, Ю. И. Медведев, В. Г. Михайлов, Ю. Л. Павлов, Б. А. Погорелов, Э. А. Применко, Л. Я. Савельев, В. Н. Сачков, С. А. Степанов, В. П. Чистяков, В. Н. Чубариков, “Валентин Федорович Колчин (1934–2016)”, Дискрет. матем., 28:4 (2016), 3–5
2013
51.
Ю. В. Матиясевич, “Алан Тьюринг и теория чисел”, Матем. просв., сер. 3, 17 (2013), 6–34
52.
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013), 173–176; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767
53.
Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013), 54–65
D. R. Heath-Brown, A. MacIntyre, Yu. I. Manin, Yu. V. Matiyasevich, B. Z. Moroz, “Preface”, Зап. научн. сем. ПОМИ, 377 (2010), 5; J. Math. Sci. (N. Y.), 171:6 (2010), 703
2003
56.
Ю. В. Матиясевич, “Предисловие редактора”, Зап. научн. сем. ПОМИ, 304 (2003), 5–6
2001
57.
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001), 181–184; M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605
Ю. В. Матиясевич, “R. Penrose. “The emperor's new mind”. Oxford University Press, Oxford etc., 1989, xiii+466 pp.”, Алгебра и анализ, 3:5 (1991), 254–265
1990
59.
Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к семидесятилетию со дня рождения)”, УМН, 45:1(271) (1990), 205–206; Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Russian Math. Surveys, 45:1 (1990), 239–240
Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин, “Сергей Юрьевич Маслов (некролог)”, УМН, 39:2(236) (1984), 129–130; G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Russian Math. Surveys, 39:2 (1984), 133–135
С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию
со дня рождения)”, УМН, 35:2(212) (1980), 241–245; S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282
Вычислительные аспекты теоремы Гамбургера Ю. В. Матиясевич XV Международная конференция «Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения», посвященная столетию со дня рождения профессора Николая Михайловича Коробова 28 мая 2018 г. 12:20
Тайная жизнь дзета-функции Римана Ю. В. Матиясевич Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук 18 декабря 2008 г. 16:00
22.
Hilbert's tenth problem III Ю. В. Матиясевич The International conference "Methods of Logic in Mathematics V", June 1–7, 2008, Saint-Petersburg, Russia 6 июня 2008 г. 10:00
23.
Hilbert's tenth problem II Ю. В. Матиясевич The International conference "Methods of Logic in Mathematics V", June 1–7, 2008, Saint-Petersburg, Russia 5 июня 2008 г. 10:00
24.
Hilbert's tenth problem I Ю. В. Матиясевич The International conference "Methods of Logic in Mathematics V", June 1–7, 2008, Saint-Petersburg, Russia 3 июня 2008 г. 14:30
25.
Тайная жизнь дзета-функции Римана Ю. В. Матиясевич Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН 8 октября 2007 г.
Комбинаторика и теория графов. 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