JonesJP, Matiyasevich Yu.V. ...

Новости

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

17 Февраля, 2025 Конкурс на замещение должности

15 Февраля, 2025 Защита диссертаций

Jones J.P., Matijasevich Yu.V.

[1991]

Proof of recursive unsolvability of Hilbert’s tenth problem

Amer. Math. Monthly, 98, № 8, 689-709

92.09.60

article

Вернуться к поиску