Détail de l'auteur
Auteur Pierre-Louis Curien |
Documents disponibles écrits par cet auteur
Affiner la recherche
Titre : Introduction à la logique : théorie de la démonstration : cours et exercices corrigés Type de document : texte imprimé Auteurs : René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. Mention d'édition : 2e éd Editeur : Paris [France] : DUNOD Année de publication : 2003 Collection : Sciences SUP Importance : XIII-352 p.. Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Note générale : La couv. porte en plus : "licence 3e année, master, CAPES, agrégation" Langues : Français (fre) Mots-clés : Théorèmes Démonstration automatique Logique symbolique et mathématique Note de contenu : Bibliogr. p. 347-348. Index Permalink : http://biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=notice_display&id=1106 Introduction à la logique : théorie de la démonstration : cours et exercices corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. . - 2e éd . - Paris (Paris, France) : DUNOD, 2003 . - XIII-352 p.. : couv. ill. en coul. ; 24 cm. - (Sciences SUP) .
ISBN : 978-2-10-006796-1
La couv. porte en plus : "licence 3e année, master, CAPES, agrégation"
Langues : Français (fre)
Mots-clés : Théorèmes Démonstration automatique Logique symbolique et mathématique Note de contenu : Bibliogr. p. 347-348. Index Permalink : http://biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=notice_display&id=1106 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 100602 511.3 DAV Livre La Bibliothèque centrale Mathématiques Exclu du prêt
