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 -engenk0001229nam2 22003253i 450 TO0056033220251003044406.0881319907420130827d1996 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrier2PadovaCEDAM1996IX, 135 p.24 cm..001TO005603312001 ˆLa ‰giustizia civile nei paesi comunitaria cura di Elio Fazzalari2Giustizia civilePaesi dell'Unione europeaFIRLO1C242462I347.407DIRITTO PROCESSUALE CIVILE E TRIBUNALI CIVILI. EUROPA22Stati membri dell'Unione europeaPaesi della Comunità europeaPaesi dell'Unione europeaStati membri dell'Unione europeaPaesi dell'Unione europeaPaesi della Comunità europeaITIT-00000020130827IT-BN0095 TO00560332Biblioteca Centralizzata di Ateneov. 2 01D (AR) 24 043 01AR 0700240435 VMA A4(0002 v. 2Y 1998122320190108 01261340UNISANNIO