Logique Mathématique, Tome 2 : Fonctions Récursives, Théorème de Gödel, Théorie Des Ensembles, Théorie Des Modèles
René Cori, Daniel Lascar, "Logique mathématique" eBooks & eLearning
Posted by TimMa at Jan. 21, 2021
René Cori, Daniel Lascar, "Logique mathématique : 2 Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles"
2003 | ISBN: 2100054538 | Français | PDF | 368 pages | 54.1 MB
2003 | ISBN: 2100054538 | Français | PDF | 368 pages | 54.1 MB
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 Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.