| Titre : | Logique mathématique : cours et exercices corrigés |
| Auteurs : | René Cori ; Daniel Lascar ; Jean-Louis Krivine |
| Type de document : | texte imprimé |
| Editeur : | Paris : Dunod, 2121 |
| ISBN/ISSN/EAN : | 978-2-10-082514-1 |
| Format : | 385 p. / couv. ill. en coul. / 24 cm. |
| Langues: | Français |
| Index. décimale : | 511-Principes généraux des mathématiques |
| 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. |
Exemplaires (7)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| SE001976 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Consultation sur place Exclu du prêt |
| SE001977 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE001978 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE001979 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE002945 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE002947 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| SE002946 | 511-23 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
