Acquisire buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonch‚ dei principali risultati che la concernono.
scheda docente
materiale didattico
Testi Adottati
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014Modalità Frequenza
La frequenza non è obbligatoria ma è vivamente raccomandata.Modalità Valutazione
Esame scritto e/o orale, di durata variabile, in media tra 30 e 45 minuti.