LEADER 01466nam a2200337 a 4500
001 000000148056
003 CaOOAMICUS
005 20151210131558.0
008 151210s2001    xxkk         u000 u eng r
020   $a0521802008*
032   $aLibriCat
040   $aPUL$bita
082 04$a511.3
100 1 $aBlackburn, Patrick.$0(OLS)http://pul/name/94567
245 10$aModal logic /$cPatrick Blackburn, Maarten de Rijke, Yde Venema.
260   $aCambridge :$bCambridge University Press,$c2001.
300   $axxii, 554 p. :$bformulari ;$c23 cm.
490 1 $aCambridge tracts in theoretical computer science ;$v53
504   $aInclude riferimenti bibliografici ed indice.
650  4$aLogica matematica.$0(OLS)http://pul/subject/9225
700 1 $aRijke, Maarten de.$0(OLS)http://pul/name/94568
700 1 $aVenema, Yde.$0(OLS)http://pul/name/94569
830  0$aCambridge tracts in theoretical computer science ;$v53.$0(OLS)http://pul/title/186820
850   $aPUL
852   $aPUL$W1$xSL Cons. Gen., Altre Classi 3$y75$m511. 3 BLAPA 1$j170834$b4. rist. del 2010$qDDC 21$B171884$CPULBib$Z2$F171884        $H126705                        $81
941 1 $a9
996   $6020$a0521802008*$9(OLS)http://pul/number/159244
996   $6082$a511.3$9(OLS)http://pul/classification/1789
996   $6245$aModal logic$9(OLS)http://pul/title/186819
996   $6260$aCambridge :$bCambridge University Press$9(OLS)http://pul/publisher/50125