00890nam a2200241 i 450099100351630970753620020503194701.0001113s1995 it ||| | ita 8880912879b10516839-39ule_instEXGIL122193ExLDip.to Filol. Ling. e Lett.itaArtosi, Alberto151760Metodi tableaux per la logica classica e modale /Alberto Artosi[Bologna] :CLUEB,[c1995]165 p. ;21 cm.Miscellanea del Cirfid ;10.b1051683921-02-1727-06-02991003516309707536LE008 L.L.I.D A V 8112008000023577le008-E0.00-l- 00000.i1059491727-06-02Metodi tableaux per la logica classica e modale216997UNISALENTOle00801-01-00ma -itait 01