|
|
|
|
LEADER |
00000nam a2200000 a 4500 |
001 |
5630263 |
005 |
20051114153500.0 |
008 |
890306q1985 fr b 000 0 fre d |
003 |
ICU |
035 |
|
|
|a (OCoLC)23395487
|
040 |
|
|
|a EYM
|c EYM
|d OCL
|d UtOrBLW
|
049 |
|
|
|a CGUA
|
050 |
|
4 |
|a QA 9.7
|b .R4711 1985
|
092 |
|
|
|a 511.8
|b R435m
|
100 |
1 |
|
|a Ressayre, J.-P.
|q (Jean-Pierre)
|0 http://id.loc.gov/authorities/names/n82122175
|1 http://viaf.org/viaf/7452298
|
245 |
1 |
0 |
|a Modeles non standard en arithmetique et theorie des ensembles /
|c J.P. Ressayre, A.J. Wilkie.
|
260 |
|
|
|a Paris :
|b U.E.R. de mathématiques & L.A. 212 du C.N.R.S.,
|c [1985?]
|
300 |
|
|
|a 147 p. ;
|c 23 cm.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
440 |
|
0 |
|a Publications mathématiques de l'Université Paris VII,
|x 0073-8301 ;
|v 22
|
504 |
|
|
|a Includes bibliographies.
|
505 |
0 |
|
|a 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.
|
650 |
|
0 |
|a Model theory.
|0 http://id.loc.gov/authorities/subjects/sh85086421
|
650 |
|
0 |
|a Nonstandard mathematical analysis.
|0 http://id.loc.gov/authorities/subjects/sh85082118
|
650 |
|
7 |
|a Model theory.
|2 fast
|0 http://id.worldcat.org/fast/fst01024368
|
650 |
|
7 |
|a Nonstandard mathematical analysis.
|2 fast
|0 http://id.worldcat.org/fast/fst01039000
|
700 |
1 |
|
|a Wilkie, A. J.
|q (Alec J.)
|0 http://id.loc.gov/authorities/names/n82112191
|1 http://viaf.org/viaf/35803115
|
901 |
|
|
|a Analytic
|
903 |
|
|
|a HeVa
|
903 |
|
|
|a Hathi
|
929 |
|
|
|a cat
|
999 |
f |
f |
|i f749b14d-c85e-5948-b622-a44b7b053f48
|s 5825f788-36c2-57c4-8d02-c3dd90bacdb1
|
928 |
|
|
|t Library of Congress classification
|a QA1.P97 v.22
|l ASR
|c ASR-SciASR
|i 6508280
|
927 |
|
|
|t Library of Congress classification
|a QA1.P97 v.22
|l ASR
|c ASR-SciASR
|g Analytic
|e CRERAR
|b A29438186
|i 7850602
|