1 - Algèbre et topologie boléennes |
2 - Logique mathématique : éléments de base, calcul propositionnel, calcul des prédicats |
1 - Algèbre et topologie boléennes |
2 - Logique mathématique : éléments de base, calcul propositionnel, calcul des prédicats |