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

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 - 1 / 1)