paralysie Arthur Conan Doyle Fondateur calcul propositionnel exercices corrigés pdf Infrarouge hier Effrayant
Livre : Calcul propositionnel, algèbres de Boole, calcul des prédicats, Logique mathématique, cours et exercice,, le livre de René Cori et Daniel Lascar - Elsevier Masson - 9782225840791