LEADER 01703nam0 2200409 i 450 001 VAN00052158 005 20260324120435.148 010 $a05-215-2714-7 010 $a978-05-215-2714-9 100 $a20060913d2001 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 181 $ai$b e 182 $an 183 $anc 200 1 $aModal logic$fPatrick Blackburn, Maarten de Rijke, Yde Venema 210 $aCambridge$cCambridge University$d2001 215 $aXXII, 554 p.$d23 cm 410 1$1001VAN00050059$12001 $aCambridge tracts in theoretical computer science$1210 $aCambridge$cCambridge university$v53 606 $a03B45$xModal logic (including the logic of norms) [MSC 2020]$3VANC024404$2MF 620 $dCambridge$3VANL000024 700 1$aBlackburn$bPatrick$3VANV041040$0310427 701 1$aRijke$bMaarten de$3VANV041042$0310428 701 1$aVenema$bYde$3VANV041041$0310429 712 $aCambridge University $3VANV107986$4650 790 1$aBlackburn, P.$zBlackburn, Patrick$3VANV260278 790 1$aRijke, M. de$zRijke, Maarten de$3VANV260280 790 1$ade Rijke, Maarten$zRijke, Maarten de$3VANV260281 790 1$aVenema, Y.$zVenema, Yde$3VANV260282 801 $aIT$bSOL$c20260327$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Blackburn et al. - Modal logic.pdf$zContents 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00052158 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0403 $e08 7488 I 20061004 996 $aModal logic$9720222 997 $aUNICAMPANIA