01466nam a2200337 a 4500000000148056CaOOAMICUS20151210131558.0151210s2001 xxkk u000 u eng r0521802008*LibriCatPULita511.3Blackburn, Patrick.(OLS)http://pul/name/94567Modal logic /Patrick Blackburn, Maarten de Rijke, Yde Venema.Cambridge :Cambridge University Press,2001.xxii, 554 p. :formulari ;23 cm.Cambridge tracts in theoretical computer science ;53Include riferimenti bibliografici ed indice.Logica matematica.(OLS)http://pul/subject/9225Rijke, Maarten de.(OLS)http://pul/name/94568Venema, Yde.(OLS)http://pul/name/94569Cambridge tracts in theoretical computer science ;53.(OLS)http://pul/title/186820PULPUL1SL Cons. Gen., Altre Classi 375511. 3 BLAPA 11708344. rist. del 2010DDC 21171884PULBib2171884 126705 190200521802008*(OLS)http://pul/number/159244082511.3(OLS)http://pul/classification/1789245Modal logic(OLS)http://pul/title/186819260Cambridge :Cambridge University Press(OLS)http://pul/publisher/50125