draft new stuff for the logics course
[homepage.git] / teaching / 0708 / logica.mdwn
1 [[template id=course_header course="Logica Matematica" year="2007/2008"]]
2
3 ## Lezioni
4
5 1. [[Logica_proposizionale:_deduzione_naturale_e_metodi_di_risoluzione|esercitazione1.pdf]]
6    *18/03/2008* (formato PDF)
7
8 ## Altri esercizi
9
10 1. [[Eserciziario|eserciziario.pdf]] a curo di Ugo Dal Lago (formato PDF)
11