20410451-2 - LM410 -THEOREMS IN LOGIC 1 - Module B

To acquire a good knowledge of first order classical logic and its fundamental theorems.
scheda docente | materiale didattico

Testi Adottati

V. Michele Abrusci e Lorenzo Tortora de Falco, Logica. Vol. 1 Dimostrazioni e modelli al primo ordine, Springer, 2014

Modalità Frequenza

Attendance is not mandatory but strongly recommended.

Modalità Valutazione

Written and/or oral exam, of a duration usually between 30 and 45 minutes.