الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم

  trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Logique mathématique / René Cori

Public ISBD 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 (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
F2-001024	005-154.2	Ouvrage	Bibliothèque Centrale	000 - Informatique, information, ouvrages généraux	Disponible
116368	005-154.1	Ouvrage	Bibliothèque Centrale	500 - Sciences de la nature et Mathématiques	Exclu du prêt

---

1 (1 - 1 / 1)