A.A. 2017-2018



LM510 Tipi e Logica Lineare

Docente

Vito Michele Abrusci

 
codice ateneo20410192
cfu/ECTS7
semestreII Semestre
anno di corsoMagistrale
propedeuticità:nessuna
mutuato:dal CdLM in Scienze filosofiche (Teorie logiche 1)
tipologiab (SC)
SSD MAT/01
pagina web
 
 
Obiettivi Formativi
Affrontare alcune questioni della teoria della dimostrazione del ventesimo secolo, in connessione con le tematiche della ricerca contemporanea.