| Titre : | Logique mathématique : cours et exercices corrigés |
| Titre de série : | Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 |
| Auteurs : | Cori, René ; Daniel Lascar ; Jean-Louis Krivine |
| Type de document : | texte imprimé |
| Editeur : | Paris : Dunod, DL 2005, cop. 2003. |
| Collection : | Sciences Sup |
| ISBN/ISSN/EAN : | 978-2-10-005452-7 |
| Format : | 1 vol. (XV-385 p.) / couv. ill. en coul. / 24 cm. |
| Note générale : | Bibliogr. Index |
| Langues: | Français |
| Index. décimale : | 511.3 (Logique mathématique) |
| Catégories : | |
| Mots-clés: | Logique mathématique.Calcul des prédicats |
Exemplaires (4)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| DST004332 | 511-27 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Consultation sur place Exclu du prêt |
| DST004333 | 511-27 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Libre accès Disponible |
| bst002366 | 511.3 COR- 09 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Consultation sur place Exclu du prêt |
| bst002365 | 511.3 COR- 09 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Libre accès Disponible |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
