Logique mathématique. cours et exercices 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats :
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris :
Masson
1993.
|
| Schriftenreihe: | Axiomes : collection de logique mathématique / coordonnée par J.-L. Krivine
|
| Schlagworte: | |
| Anmerkung: |
Autre tirage : 1994 |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Calcul propositionnel, algèbres de Boole, calcul des prédicats |
| Beschreibung: | Autre tirage : 1994 |
|---|---|
| Beschreibung: | 1 vol. (XV-385 p.) : couv. ill. ; 24 cm. |
| Bibliographie: | Bibliogr. p. [361]-363. Index |
| ISBN: | 9782225840791 (br.) 2225840792 (br.) |
| ISSN: | 1243-4264 |