Article Dans Une Revue
Comptes rendus de l'Académie des sciences. Série I, Mathématique
Année : 1992
Patrick Cegielski : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00095664
Soumis le : lundi 18 septembre 2006-10:13:12
Dernière modification le : jeudi 18 avril 2024-17:18:40
Dates et versions
Identifiants
- HAL Id : hal-00095664 , version 1
Citer
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, 1992, 315, pp.1431-1434. ⟨hal-00095664⟩
88
Consultations
0
Téléchargements