Prospettiva della ricerca logica

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

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