الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail de l'auteur
Auteur - S. Auteur |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre : Cours de logique : Mathématiques M. 102 Type de document : texte imprimé Auteurs : - S. Auteur Editeur : Alger [Algérie] : OPU Année de publication : 1979 Collection : L'enseignement mathématique Importance : 143 p. Présentation : ill. Format : 23 cm Note générale : Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre) Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Cours de logique : Mathématiques M. 102 [texte imprimé] / - S. Auteur . - Alger (16000, Algérie) : OPU, 1979 . - 143 p. : ill. ; 23 cm. - (L'enseignement mathématique) .
Titre Cours de logique:mathématiques M 102
Auteurs /
Édition -
Éditeur OPU, 1979
ISBN
Langue : Français
Longueur 143 pages
Dimensions 21 cm.
Langues : Français (fre)
Mots-clés : calcul propositionnel calcule des prédicats théorème de la déduction logique intuitionniste normalisation mathématique de l’arithmétique Index. décimale : 510 Résumé : Sommaire :
1-calcul propositionnel
2-calcule des prédicats
3-théorème de la déduction
4-logique intuitionniste
5-normalisation
6-mathématique de l’arithmétique
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
