- Format
- Poche
- EAN13
- 9782100054534
- ISBN
- 978-2-10-005453-4
- Éditeur
- Dunod
- Date de publication
- 06/01/2003
- Collection
- Sciences Sup (2)
- Nombre de pages
- 368
- Dimensions
- 24 x 17 cm
- Poids
- 621 g
- Langue
- français
- Code dewey
- 510
- Fiches UNIMARC
- S'identifier
Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles
Volume 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés
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.