I temi della Logica. Dimostrabilità e soddisfacibilità in logica classica del primo ordine. Linguaggio formale e calcolo dei sequenti Teorema di compattezza (con dimostrazione). Teorema di completezza (con dimostrazione). Teorema di eliminazione del taglio. Indecidibilità ed incompletezza.
Dispense fornite dai docenti