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)