Logique mathématique
Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
- 408bladzijden
- 15 uur lezen
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.
