Providing an Introduction to Mathematical Logic.
Prerequisiti: None.
I) Elements of History of Logic; 2) Elements of Mathematical Logic.
Testi di riferimento:
E.J. Lemmon, Elementi di logica, Roma - Bari: Laterza, 1991.
A. Moretto, Appunti di logica, a cura di L. Moretti e I. Valbusa, Libreria Editrice Universitaria 2009, Verona.
“Alberi di refutazione” (dispense).
Metodi didattici: Lectures and lessons.
Oral exam.
Lungadige Porta Vittoria, 17
37129 Verona
VAT number
01541040232
Italian Fiscal Code
93009870234
© 2021 | Verona University | Credits