Aller au contenu principal

1 résultat(s)

ImpriméDisponible
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.
Disponible
Veuillez vous connecter pour réserver