Logique mathématique
Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
- 408 Seiten
- 15 Lesestunden
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.
