Logique mathématique t.2
Fiche technique
Auteurs :
René Cori, Daniel LascarGenres : Guide & manuel, SciencesDate de publication (France) : Langue d'origine : FrançaisParution France : 2020Éditeur :
DunodISBN : 9782100807703Résumé : 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 Godel et à la théorie des ensembles ainsi qu'à la théorie des modèles.
