Introduction à la logique / René David ; Karim Nour ; Christophe Raffalli

Public ISBD Titre : Introduction à la logique : théorie de la démonstration Type de document : texte imprimé Auteurs : René David (1948-....), Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. Mention d'édition : 2e éd Editeur : Malakoff (Hauts-de-Seine) - France : Dunod Année de publication : c2003 Collection : Sciences sup Importance : xii, 352 p Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-080632-4 Note générale : "Cours, 170 exercices corrigés" -- couv. Réf. bibliogr. p. 347-348. Index Langues : Français (fre) Catégories : Logique mathématique ; Logique symbolique et mathématique ; Logique symbolique et mathématique -- Problèmes et exercices ; Preuve, Théorie de la ; Raisonnement (Philosophie) ; Théorèmes -- Démonstration automatique ; Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur Index. décimale : 511.360 28563 Introduction à la logique : théorie de la démonstration [texte imprimé] / René David (1948-....), Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc.  . -  2e éd . - Malakoff (Hauts-de-Seine) - France (Malakoff (Hauts-de-Seine) - France) : Dunod, c2003 . - xii, 352 p : ill. ; 24 cm. - (Sciences sup) . ISBN : 978-2-10-080632-4 "Cours, 170 exercices corrigés" -- couv. Réf. bibliogr. p. 347-348. Index Langues : Français (fre) Catégories : Logique mathématique ; Logique symbolique et mathématique ; Logique symbolique et mathématique -- Problèmes et exercices ; Preuve, Théorie de la ; Raisonnement (Philosophie) ; Théorèmes -- Démonstration automatique ; Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur Index. décimale : 511.360 28563

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

---

1 (1 - 1 / 1)