00868nam0-2200313---450-99000844797040332120070111130600.088-8091-287-9000844797FED01000844797(Aleph)000844797FED0100084479720070111d1995----km-y0itay50------baitaITy-------001yyMetodi tableaux per la logica classica e modaleAlberto ArtosiBolognaCLUEB©1995165 p.22 cmMiscellanea del CIRFID1016020itaArtosi,Alberto151760ITUNINARICAUNIMARCBK990008447970403321XI MISC 10s.i.DFDDFDMetodi tableaux per la logica classica e modale216997UNINA