A partir de cette page vous pouvez :
| Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Pierre-Louis Curien
Documents disponibles écrits par cet auteur
Affiner la rechercheIntroduction à la logique / René David
Titre : Introduction à la logique : théorie de la démonstration : cours et exercices corrigés : licence 3e année, master, CAPES, agrégation 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 : 2ème éd. Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : XIII-352 p. Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-10-006796-1 Prix : 30 EUR Note générale : Bibliogr. p. 347-348. Index
Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : théorèmes démonstration automatique logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Introduction à la logique : théorie de la démonstration : cours et exercices corrigés : licence 3e année, master, CAPES, agrégation [texte imprimé] / René David (1948-....), Auteur ; Karim Nour, Auteur ; Christophe Raffalli, Auteur ; Pierre-Louis Curien, Préfacier, etc. . - 2ème éd. . - Paris : Dunod, 2003 . - XIII-352 p. : ill., couv. ill. en coul. ; 24 cm. - (Sciences sup) .
ISBN : 978-2-10-006796-1 : 30 EUR
Bibliogr. p. 347-348. Index
Langues : Français (fre)
Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : théorèmes démonstration automatique logique symbolique mathématique Index. décimale : 511.3 Logique symbolique (mathématique) Exemplaires
Cote Section Localisation Code-barres Disponibilité Numero_inventaire 511.3 DRI Informatique Biblio-FPN 000001279608 Disponible FPN.S899 511.3 DRI Mathématiques Biblio-FPN 000001277608 Disponible FPN.S898 511.3 DAV Mathématiques Biblio-FSO 000001825505 Disponible s35354 511.3 DAV Mathématiques Biblio-FSO 000001723705 Disponible s32075 511.3 DAV Mathématiques Biblio-FSO 000001723605 Disponible s32074 511.3 DAV Mathématiques Biblio-FSO 000001723805 Disponible s32073 511.3 DAV Mathématiques Biblio-FSO 000001724005 Disponible s33192 511.3 DAV Mathématiques Biblio-FSO 000001723905 Disponible s33191 511.3 DAV Mathématiques Biblio-FSO 000000329005 Disponible s34345 511.3 DAV Mathématiques Biblio-FSO 000000303505 Disponible s34346 511.3 DAV Mathématiques Biblio-FSO 000000993105 Disponible s34347
