Dépôt DSpace/Manakin
Logique mathématique.2, Fonctions récursives, théorème de Godel, théorie des ensembles,théorie des modèles
- Accueil de DSpace
- →
- Bibliothèque Universitaire Centrale
- →
- Livres
- →
- Voir le document
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.author | René, Cori | |
| dc.contributor.author | Daniel, Lascar | |
| dc.contributor.author | Jean-Louis, Krivine | |
| dc.date.accessioned | 2025-01-30T13:58:36Z | |
| dc.date.available | 2025-01-30T13:58:36Z | |
| dc.date.issued | 2003 | |
| dc.identifier.isbn | 2100054538 | |
| dc.identifier.uri | https://di.univ-blida.dz/jspui/handle/123456789/36606 | |
| dc.description | XV-347 p.: 24 cm | fr_FR |
| dc.description.abstract | Télécharger Sauvegarder Prêt | fr_FR |
| dc.language.iso | fr | fr_FR |
| dc.publisher | Dunod | fr_FR |
| dc.relation.ispartofseries | Sciences sup; | |
| dc.subject | Logique symbolique et mathématique | fr_FR |
| dc.title | Logique mathématique.2, Fonctions récursives, théorème de Godel, théorie des ensembles,théorie des modèles | fr_FR |
| dc.title.alternative | cours et exercices corrigés | fr_FR |
| dc.type | Book | fr_FR |
Fichier(s) constituant ce document
Ce document figure dans la(les) collection(s) suivante(s)
-
Livres
Livres