Portail des médiathèques du réseau Paris-Saclay
Se connecter
Logique mathématique
Non disponible
cours et exercices corrigés
Fonctions récursives, théorème de G OEdel, théorie des ensembles, théorie des modèles
Tome :
2
Cori, René Auteur du texte
Lascar, Daniel (1942-....) Auteur du texte
Krivine, Jean-Louis Préfacier, etc.
Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de G OEdel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés.
1 vol. (XV-347 p.) : 25 x 18 cm
9782100054534
Veuillez vous connecter pour réserver