Détail de l'auteur
Auteur Jean-Louis Krivine (1939-....) |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Malakoff : Dunod | Sciences Sup | DL 2019Ce 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.Nouveauté