Sciences Sup. Logique mathématique. V. 2.
Fonctions récursives, théorème de Gödel, théorie des ensembles théorie des modèles.
Auteurs : Cori René ; Lascar Daniel ; Krivine Jean-Louis. Préf.
Résumé
Les quatre chapitres abordés dans ce tome sont consacrés aux problèmes de récursivité et de formalisation de l’arithmétique, aux théorèmes de Gödel et aux théories des ensembles et des modèles.
Chaque chapitre est accompagné d’une vingtaine d’exercices corrigés.
Notes
Données de publication
Éditeur Masson Paris , 1993 Collection Axiomes Format 17 cm x 24 cm, 347 p.
ISBN 2-225-84080-6
Public visé chercheur, élève ou étudiant, enseignant Niveau master Âge 21, 22
Type manuel scolaire Langue français Support papier
Classification