LEADER 01319nam0 2200337 i 450 001 SUN0114602 005 20201006111516.475 010 $d0.00 017 70$2N$a978-3-319-31803-5 100 $a20180207d2016 |0engc50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $a*Dependence logic$etheory and applications$fSamson Abramsky ... [et al.] editors 205 $a[Cham] : Birkhäuser : Springer, 2016 210 $aXIV$d276 p.$cill. ; 24 cm 215 $aPubblicazione in formato elettronico 606 $a03C80$xLogic with extra quantifiers and operators [MSC 2020]$2MF$3SUNC024415 606 $a03B16$xHigher-order logic [MSC 2020]$2MF$3SUNC024531 606 $a03B70$xLogic in computer science [MSC 2020]$2MF$3SUNC024541 606 $a03B38$xType theory [MSC 2020]$2MF$3SUNC035911 620 $aCH$dCham$3SUNL001889 702 1$aAbramsky$b, Samson$3SUNV040029 712 $aSpringer$3SUNV000178$4650 712 $aBirkhäuser$3SUNV000319$4650 801 $aIT$bSOL$c20201012$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-31803-5 912 $aSUN0114602 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 2195 $e15EB 2195 20180207 996 $aDependence logic$91523259 997 $aUNICAMPANIA LEADER 01097cam--2200373---450- 001 990005870180203316 005 20130715153329.0 035 $a000587018 035 $aUSA01000587018 035 $a(ALEPH)000587018USA01 035 $a000587018 100 $a20130710d1915----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $aa---||||001yy 200 1 $aMazzini$fGaetano Salvemini 210 $aCatania$cBattiato$d1915 215 $a202 p., 1 ritratto$d20 cm 225 2 $a<> giovine Europa 410 0$12001$a<> giovine Europa 600 1$aMazzini,$bGiuseppe <1805-1872>$2BNCF 676 $a945.083092 700 1$aSALVEMINI,$bGaetano$f<1873-1957>$0342619 801 0$aIT$bsalbc$gISBD 912 $a990005870180203316 951 $aXV.2.A. 1612$b3314 F.C.$cXV.2.A.$d00342022 959 $aBK 969 $aCUOMO 979 $aPALERMO$b90$c20130710$lUSA01$h1142 979 $aPALERMO$b90$c20130710$lUSA01$h1315 979 $aCHIARA$b90$c20130711$lUSA01$h1439 979 $aPALERMO$b90$c20130715$lUSA01$h1533 996 $aMazzini$9169600 997 $aUNISA