Logique mathématique - tome 2 - fonctions récursives, théorème de gödel, théorie des ensembles
René Cori, Daniel Lascar
ISBN : 9782100807703
Description
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.
Description
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.
Caractéristiques
- DistributeurHACHETTE LIVRE
- Marque EditorialeDUNOD
- Forme de produitLivre broché / livre de poche broché
- Livre de pocheOui
- Date de publication04 février 2020
- SérieLogique mathématique 2
