Nantilus
Modèles non standard en arithmétique et théorie des ensembles
| 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 : |
| LEADER | 02555cam a2200589 4500 | ||
|---|---|---|---|
| 001 | PPN020311494 | ||
| 003 | http://www.sudoc.fr/020311494 | ||
| 005 | 20220316055600.0 | ||
| 035 | |a 121273318 |9 sudoc | ||
| 035 | |a 075300737 |9 sudoc | ||
| 035 | |a (OCoLC)16112811 | ||
| 035 | |a ocm16112811 | ||
| 035 | |a bua53913 | ||
| 100 | |a 19870630d1985 k y0frey0103 ba | ||
| 101 | 0 | |a fre | |
| 102 | |a FR | ||
| 105 | |a y a 000yy | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 183 | |6 z01 |a nga |2 rdamedia | ||
| 200 | 1 | |a Modèles non standard en arithmétique et théorie des ensembles |f J.P. Ressayre, A.J. Wilkie | |
| 214 | 0 | |a Paris |c [U.E.R. de mathémathiques] |c L.A. 212 et E.R.A. 944, 1020, 1021 du C.N.R.S. |d [1985?] | |
| 215 | |a 1 vol. (147 p.) |c couv. ill. en coul. |d 23 cm | ||
| 225 | 2 | |a Publications mathématiques de l'Université Paris VII |x 0073-8301 |v 22 | |
| 301 | |a L'ISSN présent sur la page de couverture est erroné. Il correspond à celui d'une autre collection (Publications mathématiques de l' IHES) | ||
| 306 | |a Date la plus récente dans les références bibliographiques | ||
| 320 | |a Notes bibliogr. | ||
| 327 | | | |a 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. | |
| 359 | 1 | |b Modèles non standard de l'arithmétique, et complexité algorithmique / A.J. Wilkie |p 5 |b Modèles non standard et sous-systèmes remarquables de ZF / J-P Ressayre |p 47 | |
| 410 | | | |0 040503631 |t Publications mathématiques de l'Université Paris 7 |x 1275-1464 |v 22 | |
| 464 | | | |t Modèles non standard de l'arithmétique, et complexité algorithmique |f A.J. Wilkie | |
| 464 | | | |t Modèles non standard et sous-systèmes remarquables de ZF |f J-P Ressayre | |
| 606 | |3 PPN027237869 |a Théorie des modèles |2 rameau | ||
| 606 | |3 PPN027355330 |a Théorie des ensembles |2 rameau | ||
| 606 | |3 PPN027551385 |a Modèles mathématiques |2 rameau | ||
| 606 | |3 PPN027282171 |a Algorithmes |2 rameau | ||
| 680 | |a QA9.7 | ||
| 686 | |a 03H05 |c 2010 |2 msc | ||
| 686 | |a 03H15 |c 2010 |2 msc | ||
| 686 | |a 03C62 |c 2010 |2 msc | ||
| 700 | 1 | |3 PPN031658938 |a Ressayre |b Jean-Pierre |4 070 | |
| 701 | 1 | |3 PPN033096120 |a Wilkie |b Alex J. |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20220315 |g AFNOR |h 121273318 | |
| 801 | 3 | |a FR |b Abes |c 20220315 |g AFNOR |h 075300737 | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 930 | |5 441092208:720373921 |b 441092208 |j u | ||
| 979 | |a CCFA | ||
| 998 | |a 923428 | ||