LEADER 01780nam0 2200433 i 450 001 VAN0114602 005 20220303122547.162 017 70$2N$a978-3-319-31803-5 100 $a20180207d2016 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aDependence logic$etheory and applications$fSamson Abramsky ... [et al.] editors 210 $a[Cham]$cBirkhäuser$cSpringer$d2016 215 $aXIV, 276 p.$cill.$d24 cm 500 1$3VAN0242085$aDependence logic$91523259 606 $a03C80$xLogic with extra quantifiers and operators [MSC 2020]$3VANC024415$2MF 606 $a03B16$xHigher-order logic [MSC 2020]$3VANC024531$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 606 $a03B38$xType theory [MSC 2020]$3VANC035911$2MF 610 $aDependence Atoms$9KW:K 610 $aDependence Logic$9KW:K 610 $aDependencies in Databases$9KW:K 610 $aIndependence Logic$9KW:K 610 $aInquisitive Logic$9KW:K 610 $aSocial Choice Theorem$9KW:K 610 $aTheory of Secret-Sharing$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aAbramsky$bSamson$3VANV040029 712 $aBirkhäuser $3VANV108193$4650 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttp://dx.doi.org/10.1007/978-3-319-31803-5$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15 912 $fN 912 $aVAN0114602 950 $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS SBA EBOOK 2195 $e15EB 2195 20180207 996 $aDependence logic$91523259 997 $aUNICAMPANIA