| Titre : | Logique mathématique Tome 1 : Calcul propositionnel, algèbres de Boole, calcul des prédicats |
| Auteurs : | René Cori, Auteur ; Daniel Lascar, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Dunod, 2003 |
| Collection : | Aide-Mémoire |
| ISBN/ISSN/EAN : | 978-2-10-005452-7 |
| Format : | 408 p / 24 cm |
| Index. décimale : | 510 |
| Mots-clés: | Sciences & Techniques / Collège / Sciences / Scientifiques et techniques et sciences humaines / Mathématiques / Logique |
| Résumé : | 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 |
| Nature du document : | documentaire |
| Genre : | manuel |
Exemplaires
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| aucun exemplaire | |||||
