Sold out but wanted!
Logique mathématique
Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
Authors
Book rating
More about the book
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.
Book purchase
Logique mathématique, René Cori, Daniel Lascar
- Language
- Released
- 2021
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.
- Title
- Logique mathématique
- Subtitle
- Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
- Language
- French
- Authors
- René Cori, Daniel Lascar
- Publisher
- DUNOD
- Released
- 2021
- Format
- Paperback
- Pages
- 408
- ISBN10
- 2100825143
- ISBN13
- 9782100825141
- Series
- Rating
- 4 out of 5
- Description
- 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.