Titre :	Cours de logique mathématique Tome 2 : Théorie des modèles
Type de document :	texte imprimé
Auteurs :	Fraisse Roland, Auteur
Editeur :	Paris [France] : Gauthier- Villard
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 fini

Cours de logique mathématique Tome 2 : Théorie des modèles [texte imprimé] / Fraisse Roland, Auteur . - Paris (France) : Gauthier- Villard, 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 fini