Cori, René
Logique mathématique : fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie et modèles / Renné Cori; Daniel Lascar; pref. de Jean-Louis Krivine . - Paris : Dunod, 2019 . - XV-347 p. ; 24 cm. - Sciences sup .
Bibliogr.Index
9782100807703
Don
517.11
Logique mathématique : fonctions récursives, théorème de Gôdel, théorie des ensembles, théorie et modèles / Renné Cori; Daniel Lascar; pref. de Jean-Louis Krivine . - Paris : Dunod, 2019 . - XV-347 p. ; 24 cm. - Sciences sup .
Bibliogr.Index
9782100807703
Don
517.11