Séance Séminaire

Logique Mathématique et Théorie des Ensembles

mardi 19 avril 2011 à 9:45 - salle 331

David Théret (Université Montpellier II)

Logique propositionnelle III

Théorème de complétude : preuve, conséquences.