Logique mathématique calcul propositionnel, algèbre de boole, calcul des prédicats; cours et exercices corrigés
Series: Sciences Sup. Published by : Dunod (Paris) Physical details: XV-385 p. 24 cm. Year: 2003| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
BOOK
|
Bibliothèque Centrale | 517.11 COR.V.1 (Browse shelf) | 1 | Available | 5010000322397 |
Browsing Bibliothèque Centrale shelves Close shelf browser
|
|
|
No cover image available |
|
|
No cover image available | ||
| 517. MON. 2007 Analyse MP | 517. MON. 2009 Analyse MPSI | 517.1 ARB. Analyse numérique | 517.11 COR.V.1 Logique mathématique calcul propositionnel, algèbre de boole, calcul des prédicats; cours et exercices corrigés | 517.11 COR.V.2 Logique mathématique fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie et modèles | 517.11 COR.V.2 Logique mathématique fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie et modèles | 517.11 FUC. Logique |
Bibliogr.Index
There are no comments on this title.