Esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
Logique mathématique, René Cori, Daniel Lascar
- Lingua
- Pubblicato
- 2021
- product-detail.submit-box.info.binding
- (In brossura)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.