Logique mathématique - tome 1 - calcul propositionnel, algèbres de boole, calcul des prédicats
René Cori, Daniel Lascar
ISBN : 9782100825141
Description
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.
Description
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.
Caractéristiques
- DistributeurHACHETTE LIVRE
- Poids697 gr
- SérieLogique mathématique 1
- Marque EditorialeDUNOD
- Forme de produitLivre broché / livre de poche broché
- Livre de pocheOui
