Wyprzedane, ale poszukiwane!
Logique mathématique
Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
Autorzy
Ocena książki
Więcej o książce
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.
Zakup książki
Logique mathématique, René Cori, Daniel Lascar
- Język
- Rok wydania
- 2021
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Brakuje nam tutaj Twojej recenzji.
- Tytuł
- Logique mathématique
- Podtytuł
- Calcul propositionnel, algèbre de Boole, calcul des prédicats - Cours, exercices corrigés
- Język
- francuski
- Autorzy
- René Cori, Daniel Lascar
- Wydawca
- Dunod
- Rok wydania
- 2021
- Oprawa
- miękka
- Liczba stron
- 408
- ISBN10
- 2100825143
- ISBN13
- 9782100825141
- Seria
- Tagi
- Ocena
- 4 z 5
- Opis
- 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.