Logique Mathématique et Théorie des Ensembles :

Le 07 juin 2011 à 9:45 - salle 331

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

Logique du 1er ordre III