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
info LIBRAIRIES PARTICIPANTES
Paris VIᵉ, Paris VIIIᵉ, Paris XVIIᵉ, Paris Vᵉ
Versailles, Pontoise, Lyon 2ᵉ, Lyon 6ᵉ...
Versailles, Pontoise, Lyon 2ᵉ, Lyon 6ᵉ...
Voir les disponibilités en librairie
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
|