Portail des médiathèques du réseau Paris-Saclay
Se connecter
1 résultat(s)
ImpriméNon 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.
Non disponible
Veuillez vous connecter pour réserver