Séance Séminaire

Logique Mathématique et Théorie des Ensembles

mardi 24 mai 2011 à 9:45 - salle 331

Constantin Vernicos (Université Montpellier II)

Logique du 1er ordre II