Logique mathématique (notice n° 6781)
[ vue normale ]
| 010 ## - ISBN | |
|---|---|
| ISBN | 2-10-005453-8 |
| 099 ## - Informations locales | |
| Type de document | Monographie |
| 100 ## - Données générales de traitement | |
| données générales de traitement | 20170516 frey50 |
| 101 ## - Langue | |
| langue du document | français |
| 102 ## - Pays de publication ou de production | |
| pays de publication | France |
| 200 1# - Titre | |
| titre propre | Logique mathématique |
| titre de partie | Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles |
| complément du titre | cours et exercices corrigés |
| Auteur | René Cori,... Daniel Lascar,... |
| Auteur secondaire | préface de Jean-Louis Krivine |
| 210 ## - Editeur | |
| lieu de publication | Paris |
| nom de l'éditeur | Dunod |
| date de publication | impr. 2003 |
| 215 ## - Description | |
| Importance matérielle | 1 vol. (XV-347 p.) |
| format | 24 cm |
| 225 2# - collection | |
| titre de la collection | Sciences sup |
| numérotation du volume | 2 |
| 610 ## - sujets | |
| sujet | logique |
| -- | recursivité |
| -- | formalisation |
| -- | théorie des ensembles |
| -- | théorie des modèles |
| -- | théorème de Gödel |
| -- | axiome de peano |
| 700 #1 - Auteur | |
| auteur | Cori |
| partie du nom autre que l'élément d'entrée | René |
| code de fonction | Auteur |
| 701 #1 - coauteur | |
| nom | Lascar |
| prénom | Daniel |
| dates | 1942-.... |
| code de fonction | Auteur |
| Abîmé | Perdu ? | Retiré de la circulation | Date de création | Site Propriétaire | Site Dépositaire | Code barre | cote | Statut |
|---|---|---|---|---|---|---|---|---|
| 16/05/2017 | IREM P7 | IREM P7 | 7823 | 05 COR 03-2 | Empruntable | |||
| 16/05/2017 | IREM P7 | IREM P7 | 10043 | 05 COR 03-2 a | Empruntable |