Code EAN13: 9782100825141
Auteur : CORI/LASCAR
Éditeur : DUNOD
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.
LOGIQUE MATHEMATIQUE - TOME 2 - FONCTIONS RECURSIVES, THEOREME DE GODEL, THEORIE DES ENSEMBLES - T 2
CORI/LASCAR
DUNOD
Expédié sous 4 à 10 jours