Il programma di Hilbert, e Gödel (1900-1931)
Le dispense saranno messe in rete progressivamente, dopo le lezioni relative, e per tutto l'anno saranno soggette a
revisione quando necessario.
I singoli
file sono dedicati in genere a più di una lezione.
Ultima correzione aprile 2010.
corso09-1
corso09-2
corso09-3
corso09-4
