Portail des médiathèques du réseau Paris-Saclay
Se connecter
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