Publié le : 1992-07-05
Classification:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00095664,
author = {Cegielski, Patrick and Richard, Denis},
title = {Ind\'ecidabilit\'e de la th\'eorie des entiers naturels munis d'une \'enum\'eration des premiers et de la divisibilit\'e},
journal = {HAL},
volume = {1992},
number = {0},
year = {1992},
language = {fr},
url = {http://dml.mathdoc.fr/item/hal-00095664}
}
Cegielski, Patrick; Richard, Denis. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. HAL, Tome 1992 (1992) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095664/