Prospettiva della ricerca logica

Sfidare l'indecidibile. Tecniche e metodologie del ragionamento automatico nella logica elementare con identità

Logic and philosophy in Italy. Some trends and perspectives. Ediz. italiana, inglese, francese