الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
| Titre de série : |
Cours de logique mathématique., 1 |
| Titre : |
Cours de logique mathématique : Relation et formule logique |
| Type de document : |
texte imprimé |
| Auteurs : |
Roland Fraïssé (1920-2008), Auteur |
| Mention d'édition : |
2e édition revue et modifiée |
| Editeur : |
Paris : Gauthier-Villars |
| Année de publication : |
1971 |
| Collection : |
Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris |
| Sous-collection : |
Série A num. 23 |
| Importance : |
vol. 1 (XIV-199 p.) |
| Présentation : |
ill. |
| Format : |
24 *17cm |
| Prix : |
45 F |
| Note générale : |
Titre Cours de logique mathematique ...: Relation et formule logique
Collection de logique mathématique, sér. A
Volume 1 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 971
ISBN - |
| Langues : |
Français (fre) |
| Mots-clés : |
formule connection et formule connective relation multirelation opérateur prédicat isomorphisme local formule libres classe et équivalence logiques modèle dénombrable théorèmes de complétude interprétabilité entre relations |
| Index. décimale : |
510 |
| Résumé : |
Sommaire :
introduction
mot formule
connection et formule connective
relation,multirelation,opérateur et prédicat
isomorphisme local opérateur et formule libres
formule opérateur,classe et équivalence logiques théorème du modèle dénombrable
théorèmes de complétude et d'interpolation
interprétabilité entre relations |
| Note de contenu : |
Bibliogr. pp. 185-192. Index |
|
Réservation
Réserver ce document
Exemplaires (2)
|
| ST13047 | 510/01.1 | Ouvrage | Faculté des Sciences et de la Technologie | 500 - Sciences de la nature et Mathématiques | Exclu du prêt |
| ST13048 | 510/01.2 | Ouvrage | Faculté des Sciences et de la Technologie | 500 - Sciences de la nature et Mathématiques | Disponible |
