Modalità d'esame
Relazione di seminario.
Prerequisiti
Conoscenza della semantica e della teoria della dimostrazione per la logica del primo ordine.
Programma insegnamento
Modulo 3:
Temi avanzati di logica: il problema del rapporto tra assiomi e regole. Discussione seminariale.
Riferimenti bibliografici
Testi e articoli saranno indicati a lezione.