Schema del corso di Istituzioni di Logica matematica
a.a. 2001-02

   
Elementi di teoria delle categorie



 
 
 
Modelli della realizzabilità






 
   
   
Logiche non-classiche



 
 
   
Sui teoremi di incompletezza
 
       
     
Orario
Mercoledì
 11:00-12:00, aula 705
Giovedì
 15:00-17:00, aula 716
Venerdì
 11:00-13:00, aula 714
 
   MONDRIAN, Piet, Composition in Red, Yellow and Blue  (1926)