H Logique mathématique. T. 2
Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis (Préf.)
2003
xv, 347 p. ; 24 cm
9782100054534
43045
logique ; fonction récursive ; théorie des ensembles ; théorie des modèles
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 43045 | 1027181 | AGREG |
Sous-titre : fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles
ISBN10 : 2-10-005453-8
Type de doc : M
Ville d'édition : Paris
Pays d'édition : fr
Langue ouvrage : fre
Collection : Sciences sup
Bibliographie : Bibliogr. p. 323-325
Class. Math. 2000 : 03Bxx
Lien SUDOC : https://www.sudoc.fr/06945809X