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

Document type :
Book sections
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00096748
Contributor : Patrick Cegielski <>
Submitted on : Wednesday, September 20, 2006 - 10:34:05 AM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

142