Nantilus
Modèles non standard en arithmétique et théorie des ensembles
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Modèles non standard en arithmétique et théorie des ensembles / J.P. Ressayre, A.J. Wilkie |
| Publié : |
Paris :
[U.E.R. de mathémathiques]
, [1985?] L.A. 212 et E.R.A. 944, 1020, 1021 du C.N.R.S. |
| Description matérielle : | 1 vol. (147 p.) |
| Collection : | Publications mathématiques de l'Université Paris 7 ; 22 |
| Contenu : | Contient le cours de troisième cycle donné par A.J. Wilkie en 1983 à l'université Paris 7 et un article de J-P Ressayre rédigé en 1983. |
| Contient : | Modèles non standard de l'arithmétique, et complexité algorithmique : A.J. Wilkie Modèles non standard et sous-systèmes remarquables de ZF : J-P Ressayre |
| Sujets : |
Bib. CRDM (Mathématiques)
| | Cote | Prêt | Statut |
|---|---|---|---|
| Réserve 1 | PVII/22 | Prêt sans prolongation | Disponible |