|
Titre :
|
Calcul propositionnel, algèbres de Boole, calcul des prédicats
|
|
Titre de série :
|
Logique mathématique, cours et exercice, 1
|
|
Auteurs :
|
René Cori, Auteur ;
Daniel Lascar, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Mention d'édition :
|
2e tir. corr.
|
|
Editeur :
|
Issy-les-Moulineaux (Hauts-de-Seine) : Masson, 1993
|
|
Collection :
|
Axiomes
|
|
ISBN/ISSN/EAN :
|
978-2-225-84079-1
|
|
Format :
|
408 p. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
515 (Analyse)
|
|
Mots-clés:
|
Logique mathématique
;
manuels
|
|
Résumé :
|
Premier titre d'une nouvelle collection. Ce cours est issu d'un enseignement de 2e cycle. Nombreux exercices corrigés.
|
