الفهرس الآلي للمكتبة المركزية بجامعة غليزان
Détail de l'auteur
Auteur Daniel Lascar René Cori |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
Titre : Logique mathématique : 2.fonctions récursives, théorème de godel, théorie des ensembles, théorie des modèles Type de document : texte imprimé Auteurs : Daniel Lascar René Cori ; Jean-Louis Krivine, Préfacier, etc. Editeur : paris : Dunod Importance : 347 p Format : 24 cm Langues : Français (fre) Mots-clés : mathématique-algèbre-théorème de godel- théorie des ensembles- théorie des modèles Index. décimale : 510 Résumé : cet ouvrage des cours et exercices corrigés, traite des manières détaillées des domaines fondamentaux de la logique mathématique. En ligne : 510-06.1.pdf Logique mathématique : 2.fonctions récursives, théorème de godel, théorie des ensembles, théorie des modèles [texte imprimé] / Daniel Lascar René Cori ; Jean-Louis Krivine, Préfacier, etc. . - paris : Dunod, [s.d.] . - 347 p ; 24 cm.
Langues : Français (fre)
Mots-clés : mathématique-algèbre-théorème de godel- théorie des ensembles- théorie des modèles Index. décimale : 510 Résumé : cet ouvrage des cours et exercices corrigés, traite des manières détaillées des domaines fondamentaux de la logique mathématique. En ligne : 510-06.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire