LEADER 01193nam a22003014i 4500
001 991001805339707536
008 120912s2011    enka     b    001 0 eng d
020   $a9780521154338
035   $ab14073420-39ule_inst
040   $aDip.to Matematica e Fisica$beng 
082 00$a511.36$222
084   $aAMS 03F20
084   $aLC QA267.7.K73
100 1 $aKrajicek, Jan$0477381
245 10$aForcing with random variables and proof complexity /$cJan Krajicek
260   $aCambridge, UK ;$aNew York :$bCambridge University Press,$c2011
300   $axvi, 247 p. :$bill. ;$c23 cm
440  0$aLondon Mathematical Society lecture note series,$x0076-0552 ;$v382
504   $aIncludes bibliographical references (p. 236-242) and indexes
650  0$aComputational complexity
650  0$aRandom variables
650  0$aMathematical analysis
907   $a.b14073420$b26-09-12$c12-09-12
912   $a991001805339707536
945   $aLE013 03F KRA12 (2011)$g1$i2013000216003$lle013$op$pE51.06$q-$rl$s-  $t0$u0$v0$w0$x0$y.i15443528$z26-09-12
996   $aForcing with random variables and proof complexity$9239993
997   $aUNISALENTO
998   $ale013$b12-09-12$cm$da  $e-$feng$genk$h0$i0