IMJ-PRG

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