Enrico Formenti
Accueil
Curriculum Vitae
Mes étudiants
Publications
Enseignement
Me contacter
Enseignement
Outils Formels pour l’Informatique
(L2 MPI)
Calculabilité et Logique
(M1 Info)
Computability and logic
(M1 Info int.)