NEW: Parte sulla deduzione naturale, aggiornata al 31 ott. 2006 DVI, PDF PS,
Calcolabilita' e teoremi di Godel, formato DVI PDF
Teoremi di Godel, formato DVI PDF
Interpretazioni tra teorie. Formato PDF
Note sulla teoria dei modelli. Puo' essere utile consultarle per il teorema di compattezza. PDF
Appunti scannerizzati di uno studente. PDF
Appunti scannerizzati presi da Alessando Cobbe
Parte sul teorema di completezza proposizionale, formato DVI, PDF
Parte sul teorema di completezza predicativo, formato DVI, PDF
Parte sugli ultraprodotti, formato PDF