- LOGICA PROPOSIZIONALE
- Teorema di Sostituzione
- Forme Normali
- Sistemi Deduttivi
- Tableaux proposizionali
- Risoluzione proposizionale
- Sistemi di Hilbert

- INTRODUZIONE ALLA LOGICA DEL I ORDINE
- Sintassi
- Semantica
- Sistemi deduttivi