Dispensa 1 NB: Dispensa aggiornata 07/10/2022 con conclusione della dimostrazione della completezza funzionale!
Dispensa 10 (logica predicativa)
Dispensa 11 (logica predicativa)
Dispensa 12 (logica predicativa)
Dispensa 13 (logica predicativa)
Dispensa 14 (logica predicativa)
Dispensa 21 (Extra handout on mathematical independence results)