A.A. 2019-2020



LM420 Teoremi sulla logica 2

Docente

Lorenzo Tortora de Falco

 
codice ateneo20410455
cfu/ECTS6
semestreII Semestre
anno di corsoMagistrale
propedeuticità:-
mutuato:dal CdLM in Scienze filosofiche
tipologiab (SC)
SSD MAT/01
 
 
Obiettivi Formativi
Approfondire la conoscenza dei principali risultati della logica classica del primo ordine e studiare alcune loro conseguenze notevoli.