Forcing with random variables and proof complexity

Forcing with random variables and proof complexity

Enregistré dans:
Détails bibliographiques
Auteur principal : Krajíček Jan (Auteur)
Format : Livre
Langue : anglais
Titre complet : Forcing with random variables and proof complexity / Jan Krajíček,...
Publié : Cambridge, New York : Cambridge University Press , cop. 2011
Description matérielle : 1 vol. (XVI-247 p.)
Collection : London Mathematical Society lecture note series ; 382
Sujets :
Complexité de calcul (informatique)
Variables aléatoires
Analyse mathématique
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