Questions of decidability and undecidability in number theory (1994)

by B Mazur
Venue:J. of Symbolic Logic