- EAN13
- 9782100807703
- ISBN
- 978-2-10-080770-3
- Éditeur
- Dunod
- Date de publication
- 04/02/2020
- Collection
- Sciences Sup
- Nombre de pages
- 368
- Dimensions
- 24 x 17 x 2 cm
- Poids
- 638 g
- Langue
- français
2 - Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
De Daniel Lascar, René Cori
Dunod
Sciences Sup
Trouvez les offres des librairies les plus proches :
ou
Offres
Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
S'identifier pour envoyer des commentaires.