Esame scritto e orale. L'esame si dividerà in due parti: la prima, tramite un esame scritto, è volta a verificare attraverso la soluzione di esercizi, la capacità di applicare a semplici problemi di analisi e di deduzione logica le nozioni apprese attraverso lo studio dei testi d'esame. La seconda parte, tramite un esame orale che si terrà non appena sarà terminata la prova scritta, mira a valutare la capacità di esporre chiaramente i risultati e i teoremi più importanti della storia della logica del XX secolo, oltre alla capacità di contestualizzare l'origine di tali risultati nello sviluppo storico e teoretico dei principali temi del dibattito sui fondamenti della matematica. Il voto finale sarà la media tra il risultato della prova scritta ed il risultato della prova orale.
