@article{1093894717,
author = {Madison, Eugene W.},
title = {Real fields with characterization of the natural numbers.},
journal = {Notre Dame J. Formal Logic},
volume = {13},
number = {3},
year = {1972},
pages = { 211-218},
language = {en},
url = {http://dml.mathdoc.fr/item/1093894717}
}
Madison, Eugene W. Real fields with characterization of the natural numbers.. Notre Dame J. Formal Logic, Tome 13 (1972) no. 3, pp. 211-218. http://gdmltest.u-ga.fr/item/1093894717/