To acquire a good knowledge of first order classical logic and its fundamental theorems.
teacher profile teaching materials
Core Documentation
V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014Attendance
Attendance is not mandatory but strongly recommended.Type of evaluation
Written and/or oral exam, of a duration usually between 30 and 45 minutes.