Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de larithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi quà la théorie des modèles.
TAILLE DU FICHIER | 6.58 MB |
ISBN | 9782100807703 |
AUTEUR | René Cori |
FICHIER | Logique mathématique - Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles.pdf |
DATE | 07/05/2020 |
Logique mathématique. - Tome 2, Fonctions... de Daniel ... Découvrez sur decitre.fr Logique mathématique. - Tome 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles par Daniel Lascar - Collection Sciences Sup - …