الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
| 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 |
|  |
Réservation
Réserver ce document
Exemplaires (2)
|
| 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 |
