الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'Logique mathématique'
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 / Stephen Cole Kleene
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Stephen Cole Kleene (1909-1994), Auteur ; Jean Largeault, Traducteur Editeur : Paris : A. Colin Année de publication : 1971 Collection : Collection U. Série Épistémologie Sous-collection : Série Épistémologie num. 1 Importance : 415 p. Format : 23 cm ISBN/ISSN/EAN : 978-2-87647-005-7 Prix : 65 F Note générale : bibliogr. p. 379-391. Index Langues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Logique mathématique le calcul propositionnel la logique mathématique et les fondements des mathématiques Index. décimale : 510 Logique mathématique [texte imprimé] / Stephen Cole Kleene (1909-1994), Auteur ; Jean Largeault, Traducteur . - Paris : A. Colin, 1971 . - 415 p. ; 23 cm. - (Collection U. Série Épistémologie. Série Épistémologie; 1) .
ISBN : 978-2-87647-005-7 : 65 F
bibliogr. p. 379-391. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Logique mathématique le calcul propositionnel la logique mathématique et les fondements des mathématiques Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité F2-001684 510-013.2 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible CF2-002431 510-13.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt 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