الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'calcul des prédicats'
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique mathématique / René Cori
Titre : Logique mathématique : cours et exercices Type de document : texte imprimé Auteurs : René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Krivine, J.-L., Préfacier, etc. Mention d'édition : 3e tirage corrigé Editeur : Paris : Masson Année de publication : 1993 Collection : Axiomes (Paris), ISSN 1243-4264 Importance : XI-385 p. Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-84079-1 Note générale : Bibliogr. p. 361-363. Index Langues : Français (fre) Mots-clés : Logique mathématique Calcul propositionnel algèbres de Boole calcul des prédicats théorèmes de complétude Index. décimale : 511.3 Note de contenu : Vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats ; vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Logique mathématique : cours et exercices [texte imprimé] / René Cori, Auteur ; Daniel Lascar (1942-....), Auteur ; Krivine, J.-L., Préfacier, etc. . - 3e tirage corrigé . - Paris : Masson, 1993 . - XI-385 p. : couv. ill. ; 24 cm. - (Axiomes (Paris), ISSN 1243-4264) .
ISBN : 978-2-225-84079-1
Bibliogr. p. 361-363. Index
Langues : Français (fre)
Mots-clés : Logique mathématique Calcul propositionnel algèbres de Boole calcul des prédicats théorèmes de complétude Index. décimale : 511.3 Note de contenu : Vol. 1, Calcul propositionnel, algèbres de Boole, calcul des prédicats ; vol. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité F2-001024 005-154.2 Ouvrage Bibliothèque Centrale 000 - Informatique, information, ouvrages généraux Disponible