Séance Séminaire

Logique Mathématique et Théorie des Ensembles

Tuesday 07 June 2011 à 9:45 - salle 331

Constantin Vernicos (Université Montpellier II)

Logique du 1er ordre III