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 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 05 CHU 56 c Introduction to mathematical logic. | 05 COR 03-1 Logique mathématique | 05 COR 03-1 a Logique mathématique | 05 COR 03-2 Logique mathématique | 05 COR 03-2 a Logique mathématique | 05 DAV 58 Computability and unsolvability. | 05 DAV 58 a Computability and unsolvability. |
Il n'y a pas de commentaire pour ce titre.