1, Logique Mathématique - Tome 1 - Calcul Propositionnel, Algèbres De Boole, Calcul Des Prédicats, Calcul Propositionnel, Algèbre De Boole, Calcul Des Prédicats
Daniel Lascar, René Cori
Dunod
Prix public : 46,00 €
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.