Logique mathématique , T2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles

Logique mathématique , T2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèlesRené Cori, Daniel Lascar

• Scolaire / Universitaire (broché). Paru en 01/2003

Sommaire :

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. 

Sommaire :
Récursivité. Formalisation de l’arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.