|
|
|
|
LEADER |
01878cam a2200517 4500 |
001 |
PPN149718241 |
003 |
http://www.sudoc.fr/149718241 |
005 |
20190701120700.0 |
010 |
|
|
|a 978-0-521-15433-8
|b rel.
|
010 |
|
|
|a 0-521-15433-2
|b rel.
|
020 |
|
|
|a US
|b 2010036194
|
035 |
|
|
|a (OCoLC)755947104
|
100 |
|
|
|a 20110201d2011 k y0frey0103 ba
|
101 |
0 |
|
|a eng
|
102 |
|
|
|a GB
|
105 |
|
|
|a y az 001yy
|
106 |
|
|
|a r
|
200 |
1 |
|
|a Forcing with random variables and proof complexity
|b Texte imprimé
|f Jan Krajíček,...
|
210 |
|
|
|a Cambridge
|a New York
|c Cambridge University Press
|d cop. 2011
|
215 |
|
|
|a 1 vol. (XVI-247 p.)
|d 23 cm
|
225 |
2 |
|
|a London Mathematical Society lecture note series
|v 382
|
320 |
|
|
|a Bibliogr. p. 236-242. Index
|
410 |
|
| |
|0 013284878
|t London Mathematical Society lecture note series
|x 0076-0552
|v 382
|
606 |
|
|
|3 PPN027551261
|a Complexité de calcul (informatique)
|2 rameau
|
606 |
|
|
|3 PPN029807905
|a Variables aléatoires
|2 rameau
|
606 |
|
|
|3 PPN027219089
|a Analyse mathématique
|2 rameau
|
676 |
|
|
|a 511.3/6
|v 22
|
680 |
|
|
|a QA267.7
|b .K73 2011
|
686 |
|
|
|a 03F20
|c 2000
|2 msc
|
686 |
|
|
|a 03-02
|c 2000
|2 msc
|
686 |
|
|
|a 03C62
|c 2000
|2 msc
|
686 |
|
|
|a 03F30
|c 2000
|2 msc
|
686 |
|
|
|a 68Q17
|c 2000
|2 msc
|
700 |
|
1 |
|3 PPN032147511
|a Krajíček
|b Jan
|4 070
|
801 |
|
3 |
|a FR
|b Abes
|c 20111103
|g AFNOR
|
801 |
|
0 |
|b DLC
|g AACR2
|
979 |
|
|
|a CCFA
|
915 |
|
|
|5 441092208:639547885
|b 22219
|
915 |
|
|
|5 441092208:639547931
|b 22220
|
930 |
|
|
|5 441092208:639547885
|b 441092208
|a 03C191
|j u
|
930 |
|
|
|5 441092208:639547931
|b 441092208
|a 03C191
|j u
|
991 |
|
|
|5 441092208:639547885
|a exemplaire créé automatiquement par l'ABES
|
991 |
|
|
|5 441092208:639547931
|a exemplaire créé automatiquement par l'ABES
|
997 |
1 |
0 |
|a CCFA
|b 22219
|d CMBX
|e EX
|s d
|c 03C191
|
997 |
1 |
0 |
|a CCFA
|b 22220
|d CMBX
|e EX
|s d
|c 03C191
|
998 |
|
|
|a 849656
|