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