Skip to Main content Skip to Navigation
Book sections

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

Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00096748
Contributor : Patrick Cegielski <>
Submitted on : Wednesday, September 20, 2006 - 10:34:05 AM
Last modification on : Wednesday, September 4, 2019 - 1:52:06 PM

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

154