Cours de logique mathématique.T3
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
1973
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 |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 510 FRA T3 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 510 FRA T3 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible |
Fraïssé, R. (1973). Cours de logique mathématique.T3 . Gauthier-Villars;