Introduction à la logique / René David

Public ISBD 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, Autre ; Christophe Raffalli, Auteur Editeur : Paris [France] : Dunod Année de publication : D. L. 2001 Collection : Sciences Sup Importance : 1 vol. (XII-332 p.) Présentation : couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-004892-2 Note générale : Langues : Français (fre) Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques:Logique mathématique Mots-clés : Logique symbolique (mathématique);Démonstration automatique;Théorèmes mathématiques;Problèmes et exercices Index. décimale : 511.3 Logique symbolique (mathématque) Introduction à la logique : théorie de la démonstration : cours et exercices corrigés [texte imprimé] / René David, Auteur ; Karim Nour, Autre ; Christophe Raffalli, Auteur . - Paris [France] : Dunod, D. L. 2001 . - 1 vol. (XII-332 p.) : couv. ill. en coul. ; 24 cm. - (Sciences Sup) . ISBN : 978-2-10-004892-2 Langues : Français (fre) Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques:Logique mathématique Mots-clés : Logique symbolique (mathématique);Démonstration automatique;Théorèmes mathématiques;Problèmes et exercices Index. décimale : 511.3 Logique symbolique (mathématque)

Exemplaires(6)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
00486506	510.6(076) DAV	Livre	BUC	Salle de lecture/Let-Droit	Disponible
00486530	511.3 DAV	Livre	BUC	Salle de lecture/Sci.-Méd.	Disponible
00486514	511.3 DAV	Livre	BUC	Salle de lecture/Sci.-Méd.	Disponible
00486522	511.307 6 DAV	Livre	BUC	Salle de lecture/Sci.-Méd.	Disponible
00516948	511.307 6 DAV	Livre	BUC	Salle de lecture/Sci.-Méd.	Disponible
00517474	511.307 6 DAV	Livre	BUC	Salle de lecture/Sci.-Méd.	Disponible

---

1 (1 - 1 / 1) Par page : 25 50 100 200