Cours de logique mathématique.T3
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
1973
Thème :
Mathématiques
ISBN :
2040041582
Afficher le Résumé
Le cours de logique mathématique sur la récursivité et la constructibilité explore la manière dont les objets mathématiques peuvent être définis et construits à partir d'étapes progressives, que ce soit au niveau des fonctions récursives ou des ensembles constructibles dans la théorie des ensembles. ces concepts jouent un rôle central dans la théorie des modèles, la calculabilité, et la définition rigoureuse des objets mathématiques dans un cadre logique.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 3974 | 510 FRA 2T3 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 3273 | 510 FRA 2T3 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible |
Fraïssé, R. (1973). Cours de logique mathématique.T3 . Gauthier-Villars;