Logique Mathématique et Théorie des Ensembles :

Le 17 mai 2011 à 9:45 - salle 331

Présentée par Vernicos Constantin - Université Montpellier II

Logique du 1er ordre I