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

LEADER 01129nam0 22002771i 450 
001 UON00498966
005 20231205105405.980
100   $a20191028d1926       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    1||||
200 1 $aSelections from Cotton Mather$fedited with an introduction and notes by Kenneth B. Murdock
210   $aNew York$cHafner$d1926
215   $alxiii, 377 p.$d20 cm
410  1$1001UON00498970$12001 $aˆThe ‰Hafner Library of Classics$1210  $aNew York$cHafner$v20
620   $aUS$dNew York$3UONL000050
676   $a813.1$cNarrativa americana in lingua inglese. 1607-1776$v21
700  1$aMATHER$bCotton$3UONV035820$0275561
702  1$aMURDOCK$bKenneth Ballard$3UONV242929
712   $aHafner$3UONV259992$4650
801   $aIT$bSOL$c20240220$gRICA
899   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI
912   $aUON00498966
950   $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI NordA     III A                               018                 $eSI SI 948      5        018                 
996   $aSelections from Cotton Mather$91565031
997   $aUNIOR