01350nam a2200313 i 4500000000323915CaOOAMICUS20030930134529.0030930s2001 xx 000 b eng c0 521 80200 8PUGita642 BBlackburn, Patrick1959-(OLS)http://pug/name/93927Modal logic /Patrick Blackburn, Maarten de Rijke, Yde Venema.Cambridge (UK) :Cambridge University Press,2001.xxii, 554 p. ;23 cmCambridge tracts in theoretical computer science ;053Bibliography: pp. 524-543Filosofia. Logica. Epistemologia. GnoseologiaSaggi, varia.(OLS)http://pug/subject/29446Rijke, Maarten de,coll.(OLS)http://pug/name/93928Venema, Yde1963-,coll.(OLS)http://pug/name/93929Cambridge tracts in theoretical computer science ;053.(OLS)http://pug/title/167145PUGPUG1Magazzino4Mag. 642 B 79353126 353126PUGBibl2353126 02-0166 2ACQUISTO1932000200 521 80200 8(OLS)http://pug/number/12314084642 B(OLS)http://pug/classification/2703245Modal logic(OLS)http://pug/title/167144