Logique mathématique, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,... ; préface de Jean-Louis Krivine
Langue : français.Pays : France.Publication : Paris : Dunod, impr. 2003Description : 1 vol. (XV-347 p.) ; 24 cmISBN : 2-10-005453-8.Collection: Sciences sup, 2Sujet: logique recursivité formalisation théorie des ensembles théorie des modèles théorème de Gödel axiome de peano| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Monographie | IREM P7 | 05 COR 03-2 (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 7823 | |
| Monographie | IREM P7 | 05 COR 03-2 a (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 10043 |
Il n'y a pas de commentaire pour ce titre.