Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels

Type de document :
Chapitre d'ouvrage
D. van Dalen. Logic colloquium 80, North-Holland, pp.57-68, 1982
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00096748
Contributeur : Patrick Cegielski <>
Soumis le : mercredi 20 septembre 2006 - 10:34:05
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-00096748, version 1

Collections

Citation

Patrick Cegielski, Kenneth Mc Aloon, George Wilmers. Modèles récursivement saturés de l'addition et de la multiplication des entiers naturels. D. van Dalen. Logic colloquium 80, North-Holland, pp.57-68, 1982. 〈hal-00096748〉

Partager

Métriques

Consultations de la notice

138