Logique Mathématique (notice n° 67846)
[ vue normale ]
| 000 -Label | |
|---|---|
| leader | 00568nam a2200157Ia 4500 |
| 010 ## - ISBN | |
| ISBN | 2100054538 |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20140919 frey50 |
| 101 ## - Langue | |
| langue du document | français |
| 200 ## - Titre | |
| titre propre | Logique Mathématique |
| complément du titre | 2Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
| Auteur | Préface de Jean-Lois Krivine |
| 200 ## - Titre | |
| Auteur secondaire | Daniel Lascar |
| type de document | Livre |
| 210 ## - Editeur | |
| nom du fabricant | René Cori |
| nom de l'éditeur | Dunod |
| lieu de publication | Paris |
| date de publication | 2003 |
| 215 ## - Description | |
| Importance matérielle | 322 p. |
| format | 24 cm. |
| 225 ## - collection | |
| titre de la collection | Sciences SUP |
| 300 ## - Note | |
| note | Bibliogr. 323-325 index. P 335-347. |
| Propriétaire | dépositaire permanent | niveau de localisation | Code barre | cote | Statut |
|---|---|---|---|---|---|
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | 1er etage | 3138 | 511.3 COR | Empruntable |
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | 1er etage | 3336 | 621.383 MAC | Empruntable |
| Bibliothèque Universitaire Mohamed Sekkat | Bibliothèque Universitaire Mohamed Sekkat | 1er etage | 17163 | 511.3 COR | Empruntable |