Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés - René Cori

Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés

René Cori , Daniel Lascar

Dunod | décembre 2019
42,75 €
-5% pour les titulaires de la carte avec le retrait en librairie
LIBRAIRIES PARTICIPANTES
Paris VIᵉ, Paris VIIIᵉ, Paris XVIIᵉ, Paris Vᵉ
Versailles, Pontoise, Lyon 2ᵉ, Lyon 6ᵉ...
Voir les disponibilités en librairie
45,00 €
Disponibilité en ligne
à commander
Expédié sous 8 j

Résumé

Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés. ©Electre 2024

Caractéristiques

Auteur(s)
René Cori (Auteur), Daniel Lascar (Auteur)
Éditeur(s)
Date de parution
15 décembre 2019
Collection(s)
Sciences sup
Rayon
Mathématiques
Contributeur(s)
Jean-Louis Krivine (Préfacier)
EAN
9782100807703
Reliure
Broché
Dimensions
24.0 cm x 17.0 cm x 2.0 cm
Poids
638 g