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

Cours de logique mathématique., 1. Cours de logique mathématique / Roland Fraïssé

Public ISBD 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 relations Note 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 relations Note 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

Cours de logique mathématique..., 3. Cours de logique mathématique... / Roland Fraïssé

Public ISBD 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, 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 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

---

1 (1 - 2 / 2)