الفهرس الآلي للمكتبة المركزية بجامعة غليزان
Détail de l'auteur
Auteur Jean-Louis Krivine |
Documents disponibles écrits par cet auteur (4)
Affiner la recherche Interroger des sources externes
Type de document : texte imprimé Auteurs : Daniel Lascar ; 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 [texte imprimé] / Daniel Lascar ; 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
Type de document : texte imprimé Auteurs : Daniel Lascar ; 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 [texte imprimé] / Daniel Lascar ; 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
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
Titre : Logique mathm̌atique : 2.fonctions rčursives, thǒrm̈e de godel, thǒrie des ensembles, thǒrie des modl̈es 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 : mathm̌atique-algb̈re-thǒrm̈e de godel- thǒrie des ensembles- thǒrie des modl̈es Index. décimale : 510 Résumé : cet ouvrage des cours et exercices corrigš, traite des manir̈es dťaillěs des domaines fondamentaux de la logique mathm̌atique. En ligne : 510-06.1.pdf Logique mathm̌atique : 2.fonctions rčursives, thǒrm̈e de godel, thǒrie des ensembles, thǒrie des modl̈es [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 : mathm̌atique-algb̈re-thǒrm̈e de godel- thǒrie des ensembles- thǒrie des modl̈es Index. décimale : 510 Résumé : cet ouvrage des cours et exercices corrigš, traite des manir̈es dťaillěs des domaines fondamentaux de la logique mathm̌atique. En ligne : 510-06.1.pdf Exemplaires(0)
Disponibilité aucun exemplaire