Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
Auteur(s) :
Cori, René (Auteur), Lascar, Daniel (Auteur)
Editeur(s) :
Dunod
Collection(s) :
Sciences sup
Rayon(s) :
Sciences
Public(s) :
Licence
Ean :
9782100825141
Date de parution :
15/02/2021
Résumé :
Manuel de logique mathématique présentant 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. ©Electre 2022
Commandable, envoyé en 4 à 6 jours
46,00 €
Livraison à partir de 4 € en France métropolitaine