par Cori, René
Dunod
-
-
Disponible - 510.1 COR
Niveau 2 - Sciences
Logique mathématique. 2 , Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés
| Auteur(s) : |
Cori, René
Découvrir l'auteur
|
Résumé
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés. ©Electre 2020
- Autre(s) auteur(s)
- Contributeur(s)
- Éditeur(s)
-
Date
- 2019
-
Notes
- Bibliogr. Index
-
Langues
- Français
-
Description matérielle
- 1 vol. (XV-347 p.) ; 25 x 18 cm
- Collections
- Sujet(s)
-
ISBN
- 978-2-10-080770-3
-
Indice
- 510.1 Fondements des mathématiques, axiomatique, logique mathématique
-
Origine de la notice:
- Electre
-
Disponible - 510.1 COR
Niveau 2 - Sciences
