الفهرس الالي للمكتبة المركزية بجامعة عبد الحميد بن باديس - مستغانم
Résultat de la recherche
2 résultat(s) recherche sur le mot-clé 'déduction'
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
Cours de logique mathématique / Roland Fraïssé
Titre : Cours de logique mathématique : tome 1 relation et formule logique Type de document : texte imprimé Auteurs : Roland Fraïssé (1920-2008), Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1971 Importance : 197p(tome 1) Format : 17*24cm Langues : Français (fre) Langues originales : Français (fre) Mots-clés : temme de complétude pour les toutologies thèse déduction transformée Index. décimale : 510 Cours de logique mathématique : tome 1 relation et formule logique [texte imprimé] / Roland Fraïssé (1920-2008), Auteur . - Paris : Gauthier-Villars, 1971 . - 197p(tome 1) ; 17*24cm.
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : temme de complétude pour les toutologies thèse déduction transformée Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité CF2-002389 510-001.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt F2-001651 510-001.2 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001652 510-001.3 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001653 510-001.4 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible Logique / A.FUCHS
Titre : Logique Type de document : texte imprimé Auteurs : A.FUCHS, Auteur ; G.REEB, Auteur Editeur : Alger, Éditeur : OPU Année de publication : 1993 Importance : 315p Format : 27cm Langues : Français (fre) Langues originales : Français (fre) Mots-clés : logique calcul des propositions prédicats déduction axiomes Index. décimale : 510 Logique [texte imprimé] / A.FUCHS, Auteur ; G.REEB, Auteur . - [S.l.] : Alger, Éditeur : OPU, 1993 . - 315p ; 27cm.
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : logique calcul des propositions prédicats déduction axiomes Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (8)
Code-barres Cote Support Localisation Section Disponibilité CF2-002397 510-009.1 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Exclu du prêt 115727 510-009.2 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001676 510-009.3 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001677 510-009.4 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001678 510-009.5 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001679 510-009.6 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001680 510-009.7 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible F2-001681 510-009.8 Ouvrage Bibliothèque Centrale 500 - Sciences de la nature et Mathématiques Disponible