Accéder aux autres sites de l'Université Mohammed Premier

Documents disponibles écrits par cet auteur

Logique mathématique : cours et exercices corrigés : T1 calcul propositionnel algèbre de bool, calcul des prédicats / René Cori

Public ISBD Titre : Logique mathématique : cours et exercices corrigés : T1 calcul propositionnel algèbre de bool, calcul des prédicats Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar, Auteur Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : 385 p. Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : Logique symbolique et mathématique  algèbre de Boole  calcul des prédicats  calcul propositionnel Index. décimale : 511.3 Logique symbolique (mathématique) Logique mathématique : cours et exercices corrigés : T1 calcul propositionnel algèbre de bool, calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar, Auteur . - Paris : Dunod, 2003 . - 385 p.. - (Sciences sup) . Langues : Français (fre) Catégories : [Thesaurus]Sciences et Techniques:Sciences:Mathématiques Mots-clés : Logique symbolique et mathématique  algèbre de Boole  calcul des prédicats  calcul propositionnel Index. décimale : 511.3 Logique symbolique (mathématique)

Exemplaires

Cote	Section	Localisation	Code-barres	Disponibilité	Numero_inventaire
MATH 226/T1	Economie	Biblio-FSJES	DE.FR.40076	Disponible	DE.FR.40076
MATH 226/T1	Economie	Biblio-FSJES	DE.FR.40077	Disponible	DE.FR.40077
MATH 226/T1	Economie	Biblio-FSJES	DE.FR.40078	Disponible	DE.FR.40078