Titre :	Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats : Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés
Type de document :	texte imprimé
Auteurs :	René Cori ; Daniel Lascar
Editeur :	Dunod
Année de publication :	2003
Collection :	Aide-Mémoire
Importance :	408 p
Format :	24 cm
ISBN/ISSN/EAN :	978210005452
Langues :	Arabe (ara)
Mots-clés :	Scientifiques et techniques et sciences humaines  Mathématiques  Sciences & Techniques  Collège  Sciences  Logique
Résumé :	Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude
En ligne :	//www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8

Logique mathématique - Tome 1 - Calcul propositionnel, algèbres de Boole, calcul des prédicats : Volume 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Dunod, 2003 . - 408 p ; 24 cm. - (Aide-Mémoire) .
ISSN : 978210005452
Langues : Arabe (ara)

Mots-clés :	Scientifiques et techniques et sciences humaines  Mathématiques  Sciences & Techniques  Collège  Sciences  Logique
Résumé :	Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude
En ligne :	//www.librairiedialogues.fr//ws/book/9782100054527/unimarc_utf-8