Recherche
Plus d'un million de livres référencés
Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats

Logique mathématique, tome 1 : Calcul propositionnel, algèbre de Boole, calcul des prédicats

Auteur(s) : René Cori, Daniel Lascar

Editeur : Dunod

Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés.

42,60 €
Vendeur : Amazon
Parution :
ISBN : 978-2-1000-5452-7
Donnez votre avis