الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'an axiom system'
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
Introduction to mathématical logic / Elliott Mendelson
Titre : Introduction to mathématical logic Type de document : texte imprimé Auteurs : Elliott Mendelson (1931-....) Mention d'édition : 4th ed. Editeur : London : Chapman & Hall Année de publication : 1997 Importance : 440 p Format : 25 cm ISBN/ISSN/EAN : 978-0-412-80830-2 Note générale : Previous ed.: 1987. Langues : Anglais (eng) Langues originales : Anglais (eng) Mots-clés : Introduction to mathématical logic rule C algorithms an axiom system Index. décimale : 510 Résumé : Previous ed.: 1987. Introduction to mathématical logic [texte imprimé] / Elliott Mendelson (1931-....) . - 4th ed. . - London : Chapman & Hall, 1997 . - 440 p ; 25 cm.
ISBN : 978-0-412-80830-2
Previous ed.: 1987.
Langues : Anglais (eng) Langues originales : Anglais (eng)
Mots-clés : Introduction to mathématical logic rule C algorithms an axiom system Index. décimale : 510 Résumé : Previous ed.: 1987. Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité CF2-002434 510-132.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt