Titre :	Logique mathématique : Calcul propositionnel, algèbre de Boole, calcul des prédicats
Type de document :	texte imprimé
Auteurs :	René CORI, Auteur ; Daniel LASCAR, Auteur
Editeur :	Dunod
Année de publication :	2003
Importance :	385 P.
Présentation :	ill;
Format :	17cm x 24cm
ISBN/ISSN/EAN :	210005452x
Langues :	Français (fre)
Catégories :	Mathematique:07 Logique mathematique
Mots-clés :	calcul propositionnelles  Algèbre de Boole  calcule des prédicats

Logique mathématique : Calcul propositionnel, algèbre de Boole, calcul des prédicats [texte imprimé] / René CORI, Auteur ; Daniel LASCAR, Auteur . - Dunod, 2003 . - 385 P. : ill; ; 17cm x 24cm.
ISSN : 210005452x
Langues : Français (fre)

Catégories :	Mathematique:07 Logique mathematique
Mots-clés :	calcul propositionnelles  Algèbre de Boole  calcule des prédicats