Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité

Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00095664
Contributor : Patrick Cegielski <>
Submitted on : Monday, September 18, 2006 - 10:13:12 AM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM

Identifiers

  • HAL Id : hal-00095664, version 1

Collections

Citation

Patrick Cegielski, Denis Richard. Indécidabilité de la théorie des entiers naturels munis d'une énumération des premiers et de la divisibilité. Comptes rendus de l'Académie des sciences. Série I, Mathématique, Elsevier, 1992, 315, pp.1431-1434. 〈hal-00095664〉

Share

Metrics

Record views

184