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. Nombreux exercices corrigés. ©Electre 2024
Paru le : 01/01/1993
Thématique : Mathématiques 1er Cycle
Auteur(s) : Auteur : René Cori Auteur : Daniel Lascar
Éditeur(s) :
Elsevier Masson
Collection(s) : Axiomes
Série(s) : Logique mathématique, cours et exercice
ISBN : Non précisé.
EAN13 : 9782225840807
Reliure : Broché
Pages : 368
Hauteur: 24.0 cm / Largeur 16.0 cm
Épaisseur: 2.2 cm
Poids: 665 g
Carte fidélité
Mollat Radio
