| Titre : | Logique mathématique : calcul propositionnel algèbre de BOOLE... |
| Auteurs : | René Cori ; Daniel Lascar ; Jean-Louis Krivine |
| Type de document : | texte imprimé |
| Editeur : | Malakoff : Dunod, 2003 |
| Collection : | Sciences sup. Mathématiques |
| Langues originales: | |
| Index. décimale : | 511 (Principes généraux des mathématiques) |
| Côte titre : |
S8/63936-63938 S8/63939-63941 |
| Contenu : |
Exemplaires (1)
| Cote | Support | Localisation | Disponibilité |
|---|---|---|---|
| S8/63936-63941 | Livre | Bibliothèque centrale | Disponible |
Accueil
