Матиясевич Ю.В. Десятая проблема Гильберта

М.: Физматлит, 1993. — 223 с. — (Математическая логика и основания математики 26). — ISBN: 5-02-014326-X.Дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования.
Для математиков, в том числе аспирантов и студентов старших курсов.