"Questions of Decidability and Undecidability in Number Theory."

Barry Mazur (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics