| Titre : | Relation et formule logique |
| Titre de série : | Cours de logique mathématique, Tome 1 |
| Auteurs : | Roland Fraïssé, Auteur |
| Type de document : | texte imprimé |
| Mention d'édition : | 2 éd. rev. et mod. |
| Editeur : | Paris : Gauthier-Villars, 1971 |
| Collection : | Logique mathématique |
| Sous-collection : | Série A , monographies réunies |
| Format : | XIV,197 p. / ill. / 24 cm |
| Note générale : | Bibliogr. p [185]-192. -Index |
| Langues : | Français |
| Index. décimale : | 517.11 (Introduction à l'analyse mathématique) |
| Tags : | Mathématiques Analyse Logique mathématique Logic mathematical |
| 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 |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 517.11 FRA | Papier | Bibliothèque Centrale | Mathématiques | Disponible | Consultation sur place |
