Biblio Math&Info
Détail de l'auteur
Auteur Christophe Raffalli |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Introduction à la logique / René David
Titre : Introduction à la logique : théorie de la démonstration ; cours et exercices Type de document : texte imprimé Auteurs : René David (1948....), Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur Editeur : Paris : Dunod Année de publication : 2001 Collection : Sciences sup ISBN/ISSN/EAN : 978-2-10-004892-2 Note générale : La couv. porte en plus : "2e cycle"
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Théorèmes Démonstration automatique Logique symbolique et mathématique Index. décimale : 511 Principes généraux des mathématiques Introduction à la logique : théorie de la démonstration ; cours et exercices [texte imprimé] / René David (1948....), Auteur ; Christophe Raffalli, Auteur ; Karim Nour, Auteur . - Paris : Dunod, 2001. - (Sciences sup) .
ISBN : 978-2-10-004892-2
La couv. porte en plus : "2e cycle"
Catégories : Mathématiques
Mathématiques:Principes généraux des mathématiquesMots-clés : Théorèmes Démonstration automatique Logique symbolique et mathématique Index. décimale : 511 Principes généraux des mathématiques Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 9782100048922MIT001 511/066 Livre Maths&Informatique Fonds mathématiques Disponible 9782100048922MIT002 511/066 Livre Maths&Informatique Fonds mathématiques Disponible 9782100048922MIT003 511/066 Livre Maths&Informatique Fonds mathématiques Disponible