Master Mathématiques fondamentales Paris VII - Diderot : Logique mathématique et fondements de l'informatique (LMFI).
BAC +5 Mathématiques, spécialité Logique mathématique et fondements de l'informatique (LMFI), mention Mathématiques et applications.
Domaine : Sciences, Technologies et Santé.
Master à finalité de recherche délivré par l'Université Paris VII - Diderot.