Séance Séminaire

Logique Mathématique et Théorie des Ensembles

Tuesday 17 May 2011 à 9:45 - salle 331

Constantin Vernicos (Université Montpellier II)

Logique du 1er ordre I