- Format
- Broché
- 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
- Fiches UNIMARC
- S'identifier
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
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.