01033nam0-2200361-i-450-99000950453040332120111216112056.00-444-50055-3000950453FED01000950453(Aleph)000950453FED0100095045320111216d1999----km-y0itay50------baengNLa---a---001yyTools and techniques in modal logicMarcus KrachtAmsterdamElsevier1999XIII, 559 p.24 cmStudies in logic and the foundations of mathematics142Logica matematica e fondamentiPresentazione di ricercheLogica modale511.321itaKracht,Marcus254700ITUNINAREICATUNIMARCBK990009504530403321C-30-(14224966MA1MA103-0203B45Tools and techniques in modal logic851523UNINA