Documents disponibles dans la sous-collection

Cours de logique mathématique, Tome 1. Relation et formule logique / Roland Fraïssé

Public ISBD 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. . - 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
015990	517.11 FRA	Papier	Bibliothèque Centrale	Mathématiques	Disponible	Consultation sur place