الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا

Titre de série :	Cours de logique mathématique., 2
Titre :	Cours de logique mathématique : Théorie des modèles
Type de document :	texte imprimé
Auteurs :	Roland Fraïssé (1920-2008), Auteur
Mention d'édition :	2e édition revue et modifiée
Editeur :	Paris : Gauthier-Villars
Année de publication :	1972
Collection :	Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, ISSN 0530-7554 num. 24
Importance :	vol. 2 (XIV-177 p.)
Présentation :	ill.
Format :	24*17 cm
Prix :	19 F
Note générale :	Titre Cours de logique mathématique Collection de logique mathématique Volumes 23 à 25 de Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris Cours de logique mathématique, Roland Fraïssé Auteur Roland Fraïssé Édition 2 Éditeur Gauthier-Villars, 1971 Original provenant de l'Université du Michigan Numérisé 2 févr. 2009 Longueur 176 pages
Langues :	Français (fre)
Mots-clés :	isomorphisme local  formule logique  élimination des quanteurs  théorèmes d'extension  théorie axiomatique  ultraproduit  forcing  isomorphismes et équivalences en rapport  formules infinies à quanteurs finis
Index. décimale :	501 Sciences : histoire - philosophie
Résumé :	Sommaire : isomorphisme local et formule logique théorèmes de la restriction logique et de compacité élimination des quanteurs théorèmes d'extension théorie axiomatique ultraproduit forcing isomorphismes et équivalences en rapport avec le calcule des formules infinies à quanteurs finis
Note de contenu :	Bibliogr. p. 166 à 171. Index

Cours de logique mathématique., 2. Cours de logique mathématique : Théorie des modèles [texte imprimé] / Roland Fraïssé (1920-2008), Auteur  . -  2e édition revue et modifiée . - Paris : Gauthier-Villars, 1972 . - vol. 2 (XIV-177 p.) : ill. ; 24*17 cm. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris, ISSN 0530-7554; 24) .
19 F
Titre Cours de logique mathématique
Collection de logique mathématique
Volumes 23 à 25 de Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris
Cours de logique mathématique, Roland Fraïssé
Auteur Roland Fraïssé
Édition 2
Éditeur Gauthier-Villars, 1971
Original provenant de l'Université du Michigan
Numérisé 2 févr. 2009
Longueur 176 pages
Langues : Français (fre)

Mots-clés :	isomorphisme local  formule logique  élimination des quanteurs  théorèmes d'extension  théorie axiomatique  ultraproduit  forcing  isomorphismes et équivalences en rapport  formules infinies à quanteurs finis
Index. décimale :	501 Sciences : histoire - philosophie
Résumé :	Sommaire : isomorphisme local et formule logique théorèmes de la restriction logique et de compacité élimination des quanteurs théorèmes d'extension théorie axiomatique ultraproduit forcing isomorphismes et équivalences en rapport avec le calcule des formules infinies à quanteurs finis
Note de contenu :	Bibliogr. p. 166 à 171. Index