Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

par René Cori, Daniel LASCAR

T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Crédits & contributions

EAN

TexteRené Cori, Daniel LASCAR

ÉditeurDUNOD
Parution04 février 2020
CollectionSciences Sup

Prix TTC

45,00€

Indisponible

Titre provisoirement indisponible. N’hésitez pas à contacter la librairie.

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.