m
MathOuvrage

H 0 Logique mathématique. T. 2

Cori, René ; Lascar, Daniel ; Krivine, Jean-Louis (Préf.)

Dunod

2003

xv, 347 p. ; 24 cm

9782100054534

43045

logique ; fonction récursive ; théorie des ensembles ; théorie des modèles


Exemplaires

Nbre d'exemplaires : 1
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

Z