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