الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'élimination des quanteurs'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Cours de logique mathématique., 2. Cours de logique mathématique / Roland Fraïssé
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 pagesLangues : 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 finisNote 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 finisNote de contenu : Bibliogr. p. 166 à 171. Index Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST13049 501/02.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13050 501/02.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST13051 501/02.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible