Enrico Formenti
Inizio
Curriculum Vitae
Studenti
Pubblicazioni
Insegnamento
Contatto
Enseignement
Outils Formels pour l’Informatique
(L2 MPI)
Calculabilité et Logique
(M1 Info)
Computability and logic
(M1 Info int.)