01005nam a2200253 i 4500991001612729707536060508s2004 it b 00 0 ita d8876990062b13399524-39ule_instDip.to Filologia Class. e Scienze Filosoficheita160Ghilardi, Silvio 623586Sfidare l'indecidibile :tecniche e metodologie del ragionamento automatico nella logica elementare con identità /Silvio Ghilardi Monza :Polimetrica,c2004172 p. ;21 cmProspettive della ricerca logicaBibliografia: p. [163]-172Logica.b1339952402-04-1408-05-06991001612729707536LE007 180 GHI 01.0112007000103371le007LE007 2006 CastellanapE18.00-l- 00000.i1423202908-05-06Sfidare l'indecidibile1090613UNISALENTOle00708-05-06ma -itait 00