Il labirinto e lo specchio. Tecniche e problemi della logica moderna

Il volume introduce il lettore alle complessità della logica contemporanea. Esso non rifugge dal formalismo di cui questa disciplina si serve, ma permette di familiarizzare gradualmente con un certo stile di pensiero. In questo senso il carattere didattico del testo non scivola mai nell'indebita semplificazione. Esso copre le maggiori aree in cui si suddivide la logica elementare. Tuttavia la storia di questa disciplina è sempre espressione di una certa impostazione filosofica retrostante. Da ciò l'esigenza di accompagnare l'esposizione con una serie di "spot" che diano al lettore la sensazione del dibattito filosofico dietro certe scelte.