A.A. 2019-2020



Teoremi sulla logica 2

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410455
cfu/ECTS6
semestreII Semestre
anno di corsoIII Anno Altri insegnamenti del Gruppo 2, Gruppo 3 e CdLM
prerequisiti-
tipologiad (LT), b/c (LM)
SSD MAT/01
pagina web
 
Obiettivi Formativi
Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.