01193nam a22003014i 4500991001805339707536120912s2011 enka b 001 0 eng d9780521154338b14073420-39ule_instDip.to Matematica e Fisicaeng 511.3622AMS 03F20LC QA267.7.K73Krajicek, Jan477381Forcing with random variables and proof complexity /Jan KrajicekCambridge, UK ;New York :Cambridge University Press,2011xvi, 247 p. :ill. ;23 cmLondon Mathematical Society lecture note series,0076-0552 ;382Includes bibliographical references (p. 236-242) and indexesComputational complexityRandom variablesMathematical analysis.b1407342026-09-1212-09-12991001805339707536LE013 03F KRA12 (2011)12013000216003le013pE51.06-l- 00000.i1544352826-09-12Forcing with random variables and proof complexity239993UNISALENTOle01312-09-12ma -engenk00