Logique mathématique : 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés

Logique mathématique : 1 Calcul propositionnel, algèbre de Boole, calcul des prédicats cours et exercices corrigés

Détails bibliographiques
Auteurs principaux : Cori René (Auteur), Lascar Daniel (Auteur)
Autres auteurs : Krivine Jean-Louis (Préfacier)
Format : Manuel
Langue : français
Titre complet : Logique mathématique. 1, Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés / René Cori,... Daniel Lascar,...; préf. de Jean-Louis Krivine
Publié : Paris : Dunod , cop. 2003
Description matérielle : 1 vol. (XV-385 p.)
Collection : Sciences sup
Sujets :
Logique symbolique et mathématique > Manuels d'enseignement supérieur
Calcul des prédicats
Boole, Algèbre de
Calcul des propositions
Logique symbolique et mathématique > Problèmes et exercices
Chargement en cours