texte imprimé

Calcul propositionnel, algèbre de Boole, calcul des prédicats, 1. Logique mathématique : cours et exercices corrigés

René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2003

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.

Plus d'information...

Nouveauté

Aucun avis sur cette notice.