Épuisé
En savoir plus sur le livre
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.
Achat du livre
Logique mathématique, René Cori, Daniel Lascar
- Langue
- Année de publication
- 2021
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .