Portail des médiathèques du réseau Paris-Saclay
Se connecter
1 résultat(s)
ImpriméNon disponible
Tome :
2
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.
Non disponible
Veuillez vous connecter pour réserver