Ram Murty, M Hilbert`s tenth problem introduction to logic, number theory, & computability M. Ram Murty & B. Fodden - Providence American Mathematical Society 2019 - xiii 237 - Student Mathematical Library 88 . ISBN: 9781470443993