- Remoto
- Part-time
... semantica / sistema formale, e consapevolezza di che cosa si guadagna e che cosa si perde nel formalizzare - Elementi di teoria della dimostrazione e di teoria dei modelli - Gradita familiarità con logiche non classiche (modali, temporali, intuizionistiche) e con i risultati limitativi (Gödel, decidibilità) Ontologie È l'area ...
Milano, Italia