Aller au contenu principal

1 résultat(s)

ImpriméNon disponible
couverture du document
Tome :
1
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.
Non disponible
Veuillez vous connecter pour réserver