Logique mathématique. cours et exercices 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats :
Shranjeno v:
| Auteurs principaux: | , |
|---|---|
| Drugi avtorji: | |
| Format: | Livre papier |
| Jezik: | Français |
| Izdano: |
Paris :
Masson
1993.
|
| Serija: | Axiomes : collection de logique mathématique / coordonnée par J.-L. Krivine
|
| Teme: | |
| Sporočilo: |
Autre tirage : 1994 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Calcul propositionnel, algèbres de Boole, calcul des prédicats |