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.
43,50 €
Parution : Janvier 2003
408 pages
ISBN : 978-2-1000-5452-7
Fiche consultée 14 fois