Programma provvisorio del corso di Istituzioni di Logica Matematica Formato RTF

Programma definitivo del corso di Istituzioni di Logica Matematica Formato PDF. , Formato dvi

APPUNTI CONSIGLIATI PER QUEST'ANNO (in fase di aggiornamento)

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

SEGUONO VECCHI APPUNTI E ALTRO MATERIALE

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