BIBLIOTHEQUE CENTRALE
Détail de l'auteur
Auteur Fraisse Roland |
Documents disponibles écrits par cet auteur
Affiner la recherche Interroger des sources externes
Titre : Cours de logique mathématique Tome 2 : Théorie des modèles Type de document : texte imprimé Auteurs : Fraisse Roland, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1972 Importance : 177p Format : 24X15 cm Langues : Français (fre) Mots-clés : logique mathématique Index. décimale : 510 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 finiCours de logique mathématique Tome 2 : Théorie des modèles [texte imprimé] / Fraisse Roland, Auteur . - [S.l.] : Paris : Gauthier-Villars, 1972 . - 177p ; 24X15 cm.
Langues : Français (fre)
Mots-clés : logique mathématique Index. décimale : 510 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 finiExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 90/11945 L/510.168 Livre Bibliothèque Centrale indéterminé Exclu du prêt
Titre : Cours de logique mathématique Tome1 : Relation et formule logique Type de document : texte imprimé Auteurs : Fraisse Roland Mention d'édition : 2éd Editeur : Paris : Gauthier-Villars Année de publication : 1971 Importance : 197p Format : 24x15.5 cm Langues : Français (fre) Mots-clés : Logique mathématique Index. décimale : 510 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 Tome1 : Relation et formule logique [texte imprimé] / Fraisse Roland . - 2éd . - [S.l.] : Paris : Gauthier-Villars, 1971 . - 197p ; 24x15.5 cm.
Langues : Français (fre)
Mots-clés : Logique mathématique Index. décimale : 510 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 relationsExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 90/11942 L/510.167 Livre Bibliothèque Centrale indéterminé Exclu du prêt
