LEADER 01350nam a2200313 i 4500
001 000000323915
003 CaOOAMICUS
005 20030930134529.0
008 030930s2001    xx            000 b eng c
020   $a0 521 80200 8
040   $aPUG$bita
084   $a642 B
100 1 $aBlackburn, Patrick$d1959-$0(OLS)http://pug/name/93927
245 10$aModal logic /$cPatrick Blackburn, Maarten de Rijke, Yde Venema.
260   $aCambridge (UK) :$bCambridge University Press,$c2001.
300   $axxii, 554 p. ;$c23 cm
490 1 $aCambridge tracts in theoretical computer science ;$v053
504   $aBibliography: pp. 524-543
655 07$aFilosofia. Logica. Epistemologia. Gnoseologia$xSaggi, varia.$0(OLS)http://pug/subject/29446
700 1 $aRijke, Maarten de,$ecoll.$0(OLS)http://pug/name/93928
700 1 $aVenema, Yde$d1963-,$ecoll.$0(OLS)http://pug/name/93929
830  0$aCambridge tracts in theoretical computer science ;$v053.$0(OLS)http://pug/title/167145
850   $aPUG
852   $aPUG$W1$xMagazzino$y4$mMag. 642 B 79$j353126$n $B353126$CPUGBibl$Z2$F353126        $H02-0166                       $82
961   $aACQUISTO
961   $a193200
996   $6020$a0 521 80200 8$9(OLS)http://pug/number/12314
996   $6084$a642 B$9(OLS)http://pug/classification/2703
996   $6245$aModal logic$9(OLS)http://pug/title/167144