Hilbert’s Tenth Problem (1993)

by V Matijasevich