Dispense di Logica Proposizionale
Dispensa 1
Dispensa 2
Dispensa 3
Dispensa 4
Dispensa 5
Dispensa 6
Dispensa 7
Dispensa 8
Dispensa 9
Dispensa 10
Dispensa 11
Dispense di Logica dei Predicati
Dispensa 5 (definizioni e dimostrazioni su isomorfismi di strutture)
Dispensa extra (cenni su risultati matematici di non-dimostrabilitĂ - in inglese).