| Titre : | Introduction la logique : théorie de la démonstration ; cours et exercices corrigés |
| Auteurs : | David, René ; Karim Nour ; Christophe Raffalli ; Pierre-Louis Curien |
| Type de document : | texte imprimé |
| Mention d'édition : | 2e éd. |
| Editeur : | Paris : Dunod, 2004. |
| Collection : | Sciences Sup |
| ISBN/ISSN/EAN : | 978-2-10-006796-1 |
| Format : | XIII-352 p. / ill., 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 intuitionniste |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| bst002350 | 511.3 DAV - 10 | Livre | Bibliothèque Sciences et Technologies | Sciences exactes(ch&ph&ma&in) | Consultation sur place Exclu du prêt |
| bst002351 | 511.3 DAV - 10 | 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
