|
|
|
|
LEADER |
03240cam a2200853 4500 |
001 |
PPN004487826 |
003 |
http://www.sudoc.fr/004487826 |
005 |
20211105112300.0 |
010 |
|
|
|a 2-84225-014-1
|b rel.
|d 200 FRF = 30 EUR
|
020 |
|
|
|a FR
|b 09842828
|
021 |
|
|
|a FR
|b DL 98-36137 (D3)
|
033 |
|
|
|a http://catalogue.bnf.fr/ark:/12148/cb36993797g
|
035 |
|
|
|a (OCoLC)40346611
|
035 |
|
|
|a ubs12119
|
035 |
|
|
|a ocm40346611
|
035 |
|
|
|a DYNIX_BUPTP_81717
|
035 |
|
|
|a urouen436
|
035 |
|
|
|a sib1233705
|
035 |
|
|
|a DYNIX_BUNAN_334880
|
035 |
|
|
|a bua65252
|
035 |
|
|
|a elec9738000388
|
035 |
|
|
|a frBN023884362
|
035 |
|
|
|a FRBNF369937970000001
|z FRBNF36993797
|
073 |
|
1 |
|a 9782842250140
|
100 |
|
|
|a 19981015d1998 k y0frey0103 ba
|
101 |
0 |
|
|a fre
|
102 |
|
|
|a FR
|
105 |
|
|
|a y a 001yy
|
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 |
|
1 |
|6 z01
|a nga
|2 rdacarrier
|
200 |
1 |
|
|a Théorie des ensembles
|f Jean-Louis Krivine
|
210 |
|
|
|a Paris
|c Cassini
|d DL 1998
|
215 |
|
|
|a 1 vol. (273 p.)
|d 24 cm
|
225 |
2 |
|
|a Nouvelle bibliothèque mathématique
|x 1281-4393
|v 5
|
320 |
|
|
|a Bibliogr. p. 261-263. Index
|
327 |
| |
|
|a Au sommaire : modèles intérieurs : axiomes de Zermelo-Fraenkel, ordinaux, cardinaux, l'axiome de fondation, le schéma de réflexion, l'ensemble des formules, ensembles définissables en termes d'ordinaux, modèles de Fraenkel-Mostowski, ensembles constructibles, le théorème d'incomplétude de Gödel ; forcing : un cas simple de forcing, extensions génériques, indépendance de l'hypothèse du continu, de l'axiome du choix, produits d'ensembles de conditions ...
|
410 |
|
| |
|0 013670697
|t Nouvelle bibliothèque mathématique
|x 1281-4393
|v 5
|
606 |
|
|
|3 PPN031718701
|a Forcing (mathématiques)
|2 rameau
|
606 |
|
|
|3 PPN027426858
|a Ensembles, Théorie axiomatique des
|2 rameau
|
606 |
|
|
|3 PPN027355330
|a Théorie des ensembles
|2 rameau
|
675 |
|
|
|a 510.6
|v Éd. 2003
|
676 |
|
|
|a 511.322
|v 21
|
680 |
|
|
|a QA248
|
686 |
|
|
|a 03B30
|c 1991
|2 msc
|
686 |
|
|
|a 03Exx
|c 1991
|2 msc
|
686 |
|
|
|a 03G05
|c 1991
|2 msc
|
686 |
|
|
|a 04-01
|c 1991
|2 msc
|
686 |
|
|
|a 04-02
|c 1991
|2 msc
|
686 |
|
|
|a 06E10
|c 1991
|2 msc
|
700 |
|
1 |
|3 PPN030156149
|a Krivine
|b Jean-Louis
|f 1939-....
|4 070
|
801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
801 |
|
3 |
|a FR
|b BN
|g AFNOR
|
801 |
|
3 |
|a FR
|b Abes
|c 20180711
|g AFNOR
|
801 |
|
1 |
|a FR
|b UBS
|c 20010220
|g AFNOR
|
979 |
|
|
|a SCI
|
979 |
|
|
|a CCFA
|
915 |
|
|
|5 441092104:180909460
|a 1161014792
|b 1161014792
|
915 |
|
|
|5 441092208:639591248
|b 12000
|
915 |
|
|
|5 441092208:639591299
|b 12001
|
919 |
|
|
|5 441092104:180909460
|a 1161014792
|
930 |
|
|
|5 441092104:180909460
|b 441092104
|j u
|
930 |
|
|
|5 441092208:639591248
|b 441092208
|a 104B108
|j u
|
930 |
|
|
|5 441092208:639591299
|b 441092208
|a 105H224
|j u
|
991 |
|
|
|5 441092208:639591248
|a exemplaire créé automatiquement par l'ABES
|
991 |
|
|
|5 441092208:639591299
|a exemplaire créé automatiquement par l'ABES
|
997 |
1 |
0 |
|a CCFA
|b 12000
|d CMBX
|e EX
|s d
|c 104B108
|
997 |
1 |
0 |
|a CCFA
|b 12001
|d CMBX
|e EX
|s d
|c 105H224
|
998 |
|
|
|a 145597
|