LM1 - Logica matematica, logica intuizionista e logica lineare
(Insegnamento mutuato dalla Facoltà di Lettere e Filosofia) 
Prof. Vito Michele Abrusci
tel 06 5457 7419
e-mail: abrusci@phil.uniroma3.it
 
Deduzione naturale e normalizzazione della logica intuizionista. Reti dimostrative, semantica delle dimostrazioni e semantica delle fasi per la logica lineare.
 
II Semestre
Crediti: 6
Prerequisiti: MC2, MC4
  
Insegnamento valido per la PFA