Exercices corriges Cours Logique et Calculabilité

1 Logique propositionnelle et problème SAT ... à la logique : théorie de la démonstration : cours et exercices corrigés. Dunod, 2001.