RESEAU UNIVERSITAIRE DE DOCUMENTATION
Auteur Jean-Louis Krivine (1939-..)
|
|
Documents disponibles écrits par cet auteur (1)
Affiner la rechercheCalcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique / René Cori
Titre de série : Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1 Titre : Logique mathématique : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. Editeur : Paris [France] : Dunod Année de publication : D. L. 2003 Collection : Sciences SUP Importance : 1 vol. (XV-385 p.) Présentation : couv. ill. en coul Format : 24 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Langues : Français (fre) Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques Mots-clés : Calcul des prédicats Algèbre de Boole Calcul des propositions Index. décimale : 511.3 Logique symbolique (mathématque) Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : cours et exercices corrigés [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-..), Auteur ; Jean-Louis Krivine (1939-..), Préfacier, etc. . - Paris [France] : Dunod, D. L. 2003 . - 1 vol. (XV-385 p.) : couv. ill. en coul ; 24 cm. - (Sciences SUP) .
ISBN : 978-2-10-005452-7
Langues : Français (fre)
Catégories : [UNESCO_V2] 2 Science:2.15 Mathématiques et statistiques:Mathématiques Mots-clés : Calcul des prédicats Algèbre de Boole Calcul des propositions Index. décimale : 511.3 Logique symbolique (mathématque) Exemplaires(10)
Code-barres Cote Support Localisation Section Disponibilité 01021301 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026597 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01023472 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01021300 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026596 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026599 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026594 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026595 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01026598 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible 01023477 511.3 COR Livre BUC Salle de lecture/Sci.-Méd. Disponible
