Séance Séminaire

Logique Mathématique et Théorie des Ensembles

mardi 07 juin 2011 à 9:45 - salle 331

Constantin Vernicos (Université Montpellier II)

Logique du 1er ordre III