الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Détail d'une collection
Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris
Editeur :
ISSN :
0530-7554
Sous-collections rattachées :
|
Documents disponibles dans la collection
Affiner la recherche Interroger des sources externes
Titre de série : Cours de logique mathématique., 1 Titre : Cours de logique mathématique : Relation et formule logique 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 : 1971 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris Sous-collection : Série A num. 23 Importance : vol. 1 (XIV-199 p.) Présentation : ill. Format : 24 *17cm Prix : 45 F Note générale : Titre Cours de logique mathematique ...: Relation et formule logique
Collection de logique mathématique, sér. A
Volume 1 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 971
ISBN -Langues : Français (fre) Mots-clés : formule connection et formule connective relation multirelation opérateur prédicat isomorphisme local formule libres classe et équivalence logiques modèle dénombrable théorèmes de complétude interprétabilité entre relations Index. décimale : 510 Résumé : Sommaire :
introduction
mot formule
connection et formule connective
relation,multirelation,opérateur et prédicat
isomorphisme local opérateur et formule libres
formule opérateur,classe et équivalence logiques théorème du modèle dénombrable
théorèmes de complétude et d'interpolation
interprétabilité entre relationsNote de contenu : Bibliogr. pp. 185-192. Index Cours de logique mathématique., 1. Cours de logique mathématique : Relation et formule logique [texte imprimé] / Roland Fraïssé (1920-2008), Auteur . - 2e édition revue et modifiée . - Paris : Gauthier-Villars, 1971 . - vol. 1 (XIV-199 p.) : ill. ; 24 *17cm. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris. Série A; 23) .
45 F
Titre Cours de logique mathematique ...: Relation et formule logique
Collection de logique mathématique, sér. A
Volume 1 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 971
ISBN -
Langues : Français (fre)
Mots-clés : formule connection et formule connective relation multirelation opérateur prédicat isomorphisme local formule libres classe et équivalence logiques modèle dénombrable théorèmes de complétude interprétabilité entre relations Index. décimale : 510 Résumé : Sommaire :
introduction
mot formule
connection et formule connective
relation,multirelation,opérateur et prédicat
isomorphisme local opérateur et formule libres
formule opérateur,classe et équivalence logiques théorème du modèle dénombrable
théorèmes de complétude et d'interpolation
interprétabilité entre relationsNote de contenu : Bibliogr. pp. 185-192. Index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13047 510/01.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13048 510/01.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible
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
Titre de série : Cours de logique mathématique..., 3 Titre : Cours de logique mathématique... : TOME 3 Récursivité et constructibilité Type de document : texte imprimé Auteurs : Roland Fraïssé (1920-2008), Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1975 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris Sous-collection : Série A num. 25 Importance : vol. 3 (134 p.) Présentation : ill. Format : 24 *17cm ISBN/ISSN/EAN : 978-2-04-004158-8 Prix : 58 F Note générale : Titre Cours de logique mathematique ...: Récursivité et constructibilité
Collection de logique mathématique, sér. A
Volume 3 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 2 févr. 2009
ISBN 2040041583, 9782040041588Langues : Français (fre) Mots-clés : relation récursive rec-énumérable arithmétique code numérotation récursive d'ensembles suites opérateurs libres formules récursivité relative constructibilité théorème d’incomplétude des arithmétiques axiomatisables indécidabilité essentielle théorème d'indépendance de l'axiome de constructibilité Index. décimale : 510 Résumé : Sommaire :
relation récursive,rec-énumérable ou arithmétique
code;numérotation récursive d'ensembles de suites de relations d'opérateurs libres de formules
récursivité relative
constructibilité
théorème d’incomplétude des arithmétiques axiomatisables,indécidabilité essentielle
théorème d'indépendance de l'axiome de constructibilitéNote de contenu : Bibliogr. p. 131-134. Index Cours de logique mathématique..., 3. Cours de logique mathématique... : TOME 3 Récursivité et constructibilité [texte imprimé] / Roland Fraïssé (1920-2008), Auteur . - Paris : Gauthier-Villars, 1975 . - vol. 3 (134 p.) : ill. ; 24 *17cm. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris. Série A; 25) .
ISBN : 978-2-04-004158-8 : 58 F
Titre Cours de logique mathematique ...: Récursivité et constructibilité
Collection de logique mathématique, sér. A
Volume 3 de Cours de logique mathematique, Roland Fraïssé
Auteur Roland Fraïssé
Éditeur Gauthier-Villars, 1967
Original provenant de l'Université du Michigan
Numérisé 2 févr. 2009
ISBN 2040041583, 9782040041588
Langues : Français (fre)
Mots-clés : relation récursive rec-énumérable arithmétique code numérotation récursive d'ensembles suites opérateurs libres formules récursivité relative constructibilité théorème d’incomplétude des arithmétiques axiomatisables indécidabilité essentielle théorème d'indépendance de l'axiome de constructibilité Index. décimale : 510 Résumé : Sommaire :
relation récursive,rec-énumérable ou arithmétique
code;numérotation récursive d'ensembles de suites de relations d'opérateurs libres de formules
récursivité relative
constructibilité
théorème d’incomplétude des arithmétiques axiomatisables,indécidabilité essentielle
théorème d'indépendance de l'axiome de constructibilitéNote de contenu : Bibliogr. p. 131-134. Index Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST13052 510/03.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST13053 510/03.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible
