Exercices de Logique Et Correction | PDF | Sémiotique | Informatique théorique
Revision Corrige | PDF | Déduction logique | Mathématiques appliqués
Théorie ensembles - Examen corrigé 1 pdf
Mathématiques pour l'informatique - Exercices et problèmes - Livre Mathématiques, algorithmique et programmation de Jacques Vélu - Dunod
La logique propositionnelle
Logique Travaux Dirigés - Partie 7 Corrigés
Introduction à la logique : corrections des exercices
Livre : Calcul propositionnel, algèbre de Boole, calcul des prédicats, Logique mathématique,, le livre de René Cori et Daniel Lascar - Dunod - 9782100825141