Logique Mathématique et Théorie des Ensembles
Tuesday 12 April 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.