Reductions of Hilbert’s tenth problem (1958)

by Martin Davis, Hilary Putnam
Venue:Journal of Symbolic Logic