Logique Mathématique et Théorie des Ensembles :

Le 19 avril 2011 à 9:45 - salle 331

Présentée par Théret David - Université Montpellier II

Logique propositionnelle III

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