@article{1183744485,
author = {Mazur, B.},
title = {Questions of Decidability and Undecidability in Number Theory},
journal = {J. Symbolic Logic},
volume = {59},
number = {1},
year = {1994},
pages = { 353-371},
language = {en},
url = {http://dml.mathdoc.fr/item/1183744485}
}
Mazur, B. Questions of Decidability and Undecidability in Number Theory. J. Symbolic Logic, Tome 59 (1994) no. 1, pp. 353-371. http://gdmltest.u-ga.fr/item/1183744485/