
2 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats |
3 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation |
2 - Logique mathématique. 1 : calcul propositionnel, algèbres de Boole, calcul des prédicats |
3 - Logique moderne. Fascicule 2 : logique des propositions et des prédicats, tables de vérité et axiomatisation |