To support the students into an in-depth analysis of the main results of first order classical logic and to study some of their remarkable consequences.
Curriculum
Fruizione: 20710122 TEOREMI SULLA LOGICA, 2 in Scienze filosofiche LM-78 R TORTORA DE FALCO LORENZO
Fruizione: 20710122 TEOREMI SULLA LOGICA, 2 in Scienze filosofiche LM-78 R TORTORA DE FALCO LORENZO
