cours et exercices corrigés
Calcul propositionnel, algèbres de Boole, calcul des prédicats
Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés.
2 vol. (XV-385 p., ) : ill. : 24 cm
9782100054527