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
teacher profile teaching materials
Fruizione: 20710122 TEOREMI SULLA LOGICA, 2 in Scienze filosofiche LM-78 R TORTORA DE FALCO LORENZO
Core Documentation
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018Attendance
Attendance is not mandatory but strongly recommended.Type of evaluation
Written and/or oral exam, of a duration usually between 30 and 45 minutes. teacher profile teaching materials
Fruizione: 20710122 TEOREMI SULLA LOGICA, 2 in Scienze filosofiche LM-78 R TORTORA DE FALCO LORENZO
Core Documentation
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 2 Incompletezza, teoria assiomatica degli insiemi, Springer, 2018Attendance
Attendance is not mandatory but strongly recommended.Type of evaluation
Written and/or oral exam, of a duration usually between 30 and 45 minutes.