BIBLIOTHEQUE MISM
Détail de l'auteur
Auteur R.Fraisse |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Cours de logique mathématique : Relation et formule logique T.1 Type de document : texte imprimé Auteurs : R.Fraisse, Auteur Editeur : Paris : Guathier-Villars. Année de publication : 1971 Importance : 197P Format : 24x15.5 cm ISBN/ISSN/EAN : / Langues : Français (fre) Mots-clés : Mathématique Index. décimale : 510 Résumé : / Note de contenu : Table des matiéres:
1.mot,formule
2.connection et formule connective
3.relation,multirelation,opérateur et prédicat
4.isomorphisme local;opérateur et formule libres
5.formule,opérateur,classe et équivalence logiques;théoréme du modéle dénombrable
6.théorémes de complétude et d'interpolation
7.interprétabilité entre relationsCours de logique mathématique : Relation et formule logique T.1 [texte imprimé] / R.Fraisse, Auteur . - Paris : Guathier-Villars., 1971 . - 197P ; 24x15.5 cm.
ISSN : /
Langues : Français (fre)
Mots-clés : Mathématique Index. décimale : 510 Résumé : / Note de contenu : Table des matiéres:
1.mot,formule
2.connection et formule connective
3.relation,multirelation,opérateur et prédicat
4.isomorphisme local;opérateur et formule libres
5.formule,opérateur,classe et équivalence logiques;théoréme du modéle dénombrable
6.théorémes de complétude et d'interpolation
7.interprétabilité entre relationsRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 90/11941 L/510.167 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 90/11942 L/510.167 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 90/11943 L/510.167 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
Titre : Cours de logique mathématique : Théorie des modèles :T.2 Type de document : texte imprimé Auteurs : R.Fraisse, Auteur Mention d'édition : 2 éd Editeur : Paris : Guathier-Villars. Année de publication : 1972 Importance : 177 p Format : 24x15 cm Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Mathématique. Index. décimale : 510 Résumé : / Note de contenu : Table des matiéres:
1.isomorphisme local et formule logique;théorémes de la restriction logique et de compacité
2.élimination des quanteurs
3.théorémes d'extension
4.théorie,axiomatique
5.uitraproduit
6.forcing
7.isomorphismes et équivalences en rapport avec le calcul des formules infinies à quanteurs finisCours de logique mathématique : Théorie des modèles :T.2 [texte imprimé] / R.Fraisse, Auteur . - 2 éd . - Paris : Guathier-Villars., 1972 . - 177 p ; 24x15 cm.
Langues : Français (fre) Langues originales : Français (fre)
Mots-clés : Mathématique. Index. décimale : 510 Résumé : / Note de contenu : Table des matiéres:
1.isomorphisme local et formule logique;théorémes de la restriction logique et de compacité
2.élimination des quanteurs
3.théorémes d'extension
4.théorie,axiomatique
5.uitraproduit
6.forcing
7.isomorphismes et équivalences en rapport avec le calcul des formules infinies à quanteurs finisRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité 90/11946 L/510.168 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Exclu du prêt 90/11947 L/510.168 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible 90/11948 L/510.168 Livre Bibliothèque Mathématique informatique et sciences de la matière indéterminé Disponible
