Article Dans Une Revue
Math. Logic Quarterly
Année : 2008
Henri Lombardi : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00495336
Soumis le : vendredi 25 juin 2010-15:16:13
Dernière modification le : jeudi 14 mars 2024-03:09:10
Dates et versions
Identifiants
- HAL Id : hal-00495336 , version 1
Citer
Henri Lombardi, Thierry Coquand. A note on the axiomatisation of real numbers. Math. Logic Quarterly, 2008, 54 (3), pp.224-228. ⟨hal-00495336⟩
Collections
63
Consultations
0
Téléchargements