Master Mathématiques et applications — Logique mathématique et fondements de l'informatique — Université Paris-VII · La Géode | La Géode