Docenti: Roberto Maieli (modulo A) e Lorenzo Tortora de Falco (modulo B)
Il corso ha come obiettivo quello di acquisire una buona conoscenza dei principi della logica classica del primo ordine e del calcolo dei sequenti per essa, nonché dei principali risultati che la concernono.