Logique Mathématique et Théorie des Ensembles :

Le 12 avril 2011 à 9:45 - salle 331

Présentée par Théret David - 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.