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
• Expédié sous 4 à 8 jours
  POUR COMMANDER
  vCe 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.