@article{1183743181,
author = {Nadel, Mark and Stavi, Jonathan},
title = {On Models of the Elementary Theory of $(Z + 1)$},
journal = {J. Symbolic Logic},
volume = {55},
number = {1},
year = {1990},
pages = { 1-20},
language = {en},
url = {http://dml.mathdoc.fr/item/1183743181}
}
Nadel, Mark; Stavi, Jonathan. On Models of the Elementary Theory of $(Z + 1)$. J. Symbolic Logic, Tome 55 (1990) no. 1, pp. 1-20. http://gdmltest.u-ga.fr/item/1183743181/