Logique mathématique. T. 1.
Calcul propositionnel, algèbre de Boole, calcul des prédicats.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
Résumé
Les quatre chapitres abordés dans ce tome sont consacrés au calcul propositionnel, aux algèbres de Boole, au calcul des prédicats et aux théorèmes de complétude.
Chaque chapitre est accompagné d’une vingtaine d’exercices corrigés.
Notes
Données de publication
Éditeur Masson Paris , 1993 Collection Axiomes Format 17 cm x 24 cm, 385 p.
ISBN 2-225-84079-2
Public visé chercheur, élève ou étudiant, enseignant Niveau master Âge 21, 22
Type manuel scolaire Langue français Support papier
Classification