LEADER 01157nam--2200385---450- 001 990003682570203316 005 20120808162423.0 010 $a9788874883738 035 $a000368257 035 $aUSA01000368257 035 $a(ALEPH)000368257USA01 035 $a000368257 100 $a20120808d2010----km-y0itay50------ba 101 $aeng 102 $aIT 105 $a||||||||001yy 200 1 $aMathematical logic for computer science$ean introduction$fDino Mandrioli, paola Spoletini 210 $aBologna$cEsculapio$d2010 215 $a79 p.$d24 cm 225 2 $aProgetto Leonardo 410 0$12001$aProgetto Leonardo 606 0 $aInformatica$xModelli matematici$2BNCF 606 0 $aLogica matematica$2BNCF 676 $a004.0151 700 1$aMANDRIOLI,$bDino$08757 701 1$aSPOLETINI,$bPaola$0517406 801 0$aIT$bsalbc$gISBD 912 $a990003682570203316 951 $a004.0151 MAN$b39628 CBA$c004$d00335649 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20120808$lUSA01$h1623 979 $aANGELA$b90$c20120808$lUSA01$h1624 996 $aMathematical logic for computer science$91140707 997 $aUNISA LEADER 01427nmm a2200397 i 4500 001 991000566049707536 007 cr nn 008mamaa 008 070420s2006 de j eng d 020 $a9783540355182 035 $ab13876727-39ule_inst 040 $aDip.to Matematica$beng 082 0 $a519.2$221 084 $aAMS 60K35 084 $aAMS 82B41 084 $aAMS 82B43 084 $aAMS 60G57 084 $aAMS 05A16 084 $aLC QA3.L47 100 1 $aSlade, Gordon$0296628 245 14$aThe Lace expansion and its applications$h[e-book] :$bécole d'été de probabilités de Saint-Flour XXXIV-2004 /$cG. Slade ; editor, Jean Picard 246 30$aÉcole d'été de probabilités de Saint-Flour XXXIV-2004 260 $aBerlin :$bSpringer,$cc2006 300 $bv.: digital 440 0$aLecture notes in mathematics,$x0075-8434 ;$v1879 650 0$aCombinatorics 650 0$aDistribution (Probability theory) 650 0$aMathematical physics 700 1 $aPicard, Jean 711 2 $aEcole d'été de probabilités de Saint-Flour$n<34. ;$d2004> 773 0 $aSpringer e-books 856 40$uhttp://dx.doi.org/10.1007/b128444$zAn electronic book accessible through the World Wide Web 907 $a.b13876727$b03-03-22$c02-02-10 912 $a991000566049707536 996 $aLace expansion and its applications$9230578 997 $aUNISALENTO 998 $ale013$b02-02-10$cm$d@ $e-$feng$gde $h4$i0