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