Détail de l'auteur
Documents disponibles écrits par cet auteur (1)
Faire une suggestion Affiner la recherche
texte imprimé
Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude
