![Calcul propositionnel, algèbre de Boole, calcul des prédicats, Logique mathématique,, le livre de René Cori et Daniel Lascar - Dunod - 9782100825141 - Livre Calcul propositionnel, algèbre de Boole, calcul des prédicats, Logique mathématique,, le livre de René Cori et Daniel Lascar - Dunod - 9782100825141 - Livre](https://www.librest.com/cache/img/livres/141/9782100825141-xs.jpg)
Calcul propositionnel, algèbre de Boole, calcul des prédicats, Logique mathématique,, le livre de René Cori et Daniel Lascar - Dunod - 9782100825141 - Livre
![Méthodes mathématiques pour l'informatique - Cours et exercices corrigés - Livre Mathématiques, algorithmique et programmation de Jacques Vélu - Dunod Méthodes mathématiques pour l'informatique - Cours et exercices corrigés - Livre Mathématiques, algorithmique et programmation de Jacques Vélu - Dunod](https://www.dunod.com/sites/default/files/thumbnails/image/9782100806386-001-X.jpeg)
Méthodes mathématiques pour l'informatique - Cours et exercices corrigés - Livre Mathématiques, algorithmique et programmation de Jacques Vélu - Dunod
![Livre : Calcul propositionnel, algèbre de Boole, calcul des prédicats, Logique mathématique,, le livre de René Cori et Daniel Lascar - Dunod - 9782100825141 Livre : Calcul propositionnel, algèbre de Boole, calcul des prédicats, Logique mathématique,, le livre de René Cori et Daniel Lascar - Dunod - 9782100825141](https://static.librest.com/cache/img/livres/791/9782225840791-xs.jpg)