![header](./images/entete.png)
1 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé |
1 - Logique mathématique, cours et exercices. I : calcul propositionnel, algèbres de Boole, calcul des prédicats - 2ème tirage corrigé |