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


http://www.math.univ-paris-diderot.fr/m2lmfi/