Set 1: Esercizi sulla Logica Proposizionale.
Set 2: Esercizi sulla Logica Predicativa, 1.
Set 3: Esercizi sulla Logica Predicativa, 2.
Set 4: Esercizi sulla Logica Predicativa, 3 (incompletezza).