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 2025
Paru le : 15/12/2019
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : René Cori Auteur : Daniel Lascar
Éditeur(s) :
Dunod
Collection(s) : Sciences sup
Contributeur(s) : Préfacier : Jean-Louis Krivine
Série(s) : Logique mathématique
ISBN : 978-2-10-080770-3
EAN13 : 9782100807703
Reliure : Broché
Pages : XV-347
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 2.0 cm
Poids: 638 g
Carte fidélité
Mollat Radio
