Yuri V. Matiyasevich Reihenfolge der Bücher (Chronologisch)

This book presents the full, self-contained negative solution of Hilbert's 10th problem.