Il corso si propone un'introduzione ad alcuni argomenti avanzati di logica matematica. Lo studente dovrà affrontare con rigore i contenuti e le dimostrazioni ed al tempo stesso, con senso critico, essere in grado valutare il ruolo della logica nella matematica e nel pensiero scientifico in generale.