Commenti sul Volume 1:
Abbiamo riscontrato alcune imprecisioni ed alcuni errori nel testo. Ne abbiamo fatto la lista con le correzioni che proponiamo: Errata-Corrige Volume 1
Esercizi sul Volume 1:
- Alcuni esercizi sul Capitolo 2 (“Alcune nozioni premilinari”) sono disponibili: EserciziLogicaCap2.pdf
- La prima serie di esercizi sul Capitolo 3 (“Dimostrabilità e soddisfacibilità”) è disponibile: EserciziLogicaCap3-1.pdf
- La seconda serie di esercizi sul Capitolo 3 (“Dimostrabilità e soddisfacibilità”) è disponibile: EserciziLogicaCap3-2.pdf
- Alcuni esercizi sul Capitolo 4 (“Verso la teoria della dimostrazione: il teorema di eliminazione del taglio per LK”) sono disponibili: EserciziLogicaCap4.pdf
- Alcuni esercizi sul Capitolo 5 (“Verso la teoria dei modelli: alcune conseguenze del teorema di compattezza'') sono disponibili: EserciziLogicaCap5.pdf
Complementi sulle Algebre di Boole:
- Tesi di Laurea di Raffaele Di Donna: AlgebreBoole.pdf