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

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

Ce deuxième tome est plus particulièrement 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.

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Cori René (Auteur), Lascar Daniel (Auteur)
Autres auteurs : Krivine Jean-Louis (Préfacier)
Format : Manuel
Langue : français
Titre complet : Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés / René Cori,... Daniel Lascar,...; préface de Jean-Louis Krivine
Publié : Paris : Dunod , DL 2003
Description matérielle : 1 vol. (XV-347 p.)
Collection : Sciences sup
Sujets :
Fonctions récursives
Gödel, Théorème de
Théorie des ensembles
Théorie des modèles
Logique
Mathématiques
Manuels d'enseignement supérieur
Problèmes et exercices

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Année Prêt Statut
Rez-de-chaussée, salle 2 511.3 COR Empruntable Disponible
Rez-de-chaussée, salle 2 511.3 COR Empruntable Disponible
Rez-de-chaussée, salle 2 511.3 COR 2019 Empruntable Disponible
Rez-de-chaussée, salle 2 511.3 COR 2019 Empruntable Disponible
Rez-de-chaussée, salle 2 511.3 COR 2020 Empruntable Disponible
Rez-de-chaussée, salle 2 511.3 COR 2020 Empruntable Disponible