- EAN13
- 9782100825141
- ISBN
- 978-2-10-082514-1
- Éditeur
- Dunod
- Date de publication
- 15/02/2021
- Collection
- Sciences Sup
- Nombre de pages
- 408
- Dimensions
- 24 x 17 x 2 cm
- Poids
- 664 g
- Langue
- français
- Fiches UNIMARC
- S'identifier
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
De Daniel Lascar, René Cori
Dunod
Sciences Sup
Offres
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.
S'identifier pour envoyer des commentaires.