Master 2 de logique mathématique et fondements de l’informatique

https://master.math.univ-paris-diderot.fr/annee/m2-lmfi/