Logique mathématique t.2
Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
0
2
0
Ma note
1
2
3
4
5
6
7
8
9
10
Écrire une critique
Lu
Envie de le lire
En cours
Coup de cœur
Ajouter à une liste
Accès rapide
Description
Activités
Livre de René Cori et Daniel Lascar · 2020 (France)
Genres : Guide & manuel, SciencesCe 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.
