Questions of decidability and undecidability in number theory (1994)

by Barry Mazur
Venue:Journal of Symbolic Logic