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
Description
Variantes de titre : Calcul propositionnel, algèbre de Boole, calcul des prédicats
Notes : La couv. porte en plus : "Licence, master"
Historique des publications : Autre tirage : 2005
Bibliographie : Bibliogr. p. [361]-363. Index
ISBN : 2-10-005452-X