Détail de la série
Documents disponibles dans cette série (1)
trié(s) par (Pertinence décroissant(e), Titre croissant(e)) Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externes
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris : Dunod | 2020Ce 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.
Accueil
