Publié le : 2001-07-05
Classification:
[MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
@article{hal-00095681,
author = {Cegielski, Patrick and Richard, Denis},
title = {Decidability of natural integers equipped with Cantor pairing function and successor},
journal = {HAL},
volume = {2001},
number = {0},
year = {2001},
language = {en},
url = {http://dml.mathdoc.fr/item/hal-00095681}
}
Cegielski, Patrick; Richard, Denis. Decidability of natural integers equipped with Cantor pairing function and successor. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00095681/