| Titre de série : |
Cours de logique mathématique, Tome 1 |
| Titre : |
Relation et formule logique |
| Type de document : |
texte imprimé |
| Auteurs : |
Roland Fraïssé, Auteur |
| Mention d'édition : |
2 éd. rev. et mod. |
| Editeur : |
Paris : Gauthier-Villars |
| Année de publication : |
1971 |
| Collection : |
Logique mathématique |
| Sous-collection : |
Série A , monographies réunies |
| Importance : |
XIV,197 p. |
| Présentation : |
ill. |
| Format : |
24 cm |
| Note générale : |
Bibliogr. p [185]-192. -Index |
| Langues : |
Français (fre) |
| Mots-clés : |
Mathématiques
Analyse
Logique mathématique
Logic mathematical |
| Index. décimale : |
517.11 Introduction à l'analyse mathématique |
| Note de contenu : |
Au sommaire :
1. Mot, formule
2. Connections et formule connective
3. Relation, multirelation, opérateur et prédicat
4. Isomorphisme local; opérateur et formule libre
5. Formule, opérateur, classe et équivalence logique; théorème du modèle dénombrable
6. Théorèmes de complétude et d'interpolation
7. Interprétabilité entre relation |
Cours de logique mathématique, Tome 1. Relation et formule logique [texte imprimé] / Roland Fraïssé, Auteur . - 2 éd. rev. et mod. . - Paris : Gauthier-Villars, 1971 . - XIV,197 p. : ill. ; 24 cm. - ( Logique mathématique. Série A , monographies réunies) . Bibliogr. p [185]-192. -Index Langues : Français ( fre)
| Mots-clés : |
Mathématiques
Analyse
Logique mathématique
Logic mathematical |
| Index. décimale : |
517.11 Introduction à l'analyse mathématique |
| Note de contenu : |
Au sommaire :
1. Mot, formule
2. Connections et formule connective
3. Relation, multirelation, opérateur et prédicat
4. Isomorphisme local; opérateur et formule libre
5. Formule, opérateur, classe et équivalence logique; théorème du modèle dénombrable
6. Théorèmes de complétude et d'interpolation
7. Interprétabilité entre relation |
|
Ajouter le résultat dans votre panier Faire une suggestion Affiner la rechercheCours de logique mathématique, Tome 1. Relation et formule logique (1971)
