Logique Mathématique et Théorie des Ensembles
mardi 12 avril 2011 à 9:45 - salle 331
David Théret (Université Montpellier II)
Logique Propositionnelle II
Complétude du système de connecteurs ; forme normale disjonctive. Théorème de compacité. Théorème de complétude.