- EAN13
- 9782100054527
- ISBN
- 978-2-10-005452-7
- Éditeur
- Dunod
- Date de publication
- 06/01/2003
- Collection
- Sciences Sup (1)
- Nombre de pages
- 408
- Dimensions
- 24 x 17 cm
- Poids
- 690 g
- Langue
- français
- Code dewey
- 510
- Fiches UNIMARC
- S'identifier
Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats
Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés
De Daniel Lascar, René Cori
Dunod
Sciences Sup
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.