LEADER 01401nam0 2200325 i 450 001 VAN00052158 005 20240806100459.102 010 $a05-215-2714-7 010 $a978-05-215-2714-9 100 $a20060913d2001 |0itac50 ba 101 $aeng 102 $aGB 105 $a|||| ||||| 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$aDe Rijke$bMaarten$3VANV041042$0310428 701 1$aVenema$bYde$3VANV041041$0310429 712 $aCambridge University $3VANV107986$4650 801 $aIT$bSOL$c20250124$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