01085nam0 2200265 i 450 SUN005208320151120101600.49888-7699-006-220060912d2004 |0itac50 baitaIT|||| |||||Sfidare l'indecidibiletecniche e metodologie del ragionamento automatico nella logica elementare con identit…Silvio GhilardiMonzaPolimetricac2004172 p.21 cm.001SUN00520852001 Prospettive della ricerca logica210 MonzaPolimetrica.03-XXMathematical logic and foundations [MSC 2020]MFSUNC019750MonzaSUNL000245Ghilardi, SilvioSUNV040982623586PolimetricaSUNV005363650ITSOL20200720RICASUN0052083UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 1583 08 7457 I 20060912 Sfidare l'indecidibile1090613UNICAMPANIA