Logique Mathématique et Théorie des Ensembles
Tuesday 19 April 2011 à 9:45 - salle 331
David Théret (Université Montpellier II)
Logique propositionnelle III
Théorème de complétude : preuve, conséquences.
Institut Montpelliérain Alexander Grothendieck
Laboratoire de Mathématiques de l'Université de Montpellier