H Logical foundations of mathematics and computational complexity
2013
xiv, 695 p. ; 24 cm
9783319001180
47843
complexité algorithmique ; théorie des ensembles de Zermelo-Fraenkel ; incomplétude ; fondements des mathématiques ; logique ; preuve
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 47843 | 1039520 | GALERIE |
Sous-titre : a gentle introduction
Type de doc : M
Ville d'édition : Cham
Pays d'édition : ch
Langue ouvrage : eng
Collection : Springer monographs in mathematics
ISSN Collection : 1439-7382
Bibliographie : Bibliogr. p. 671-682
Class. Math. 2000 : 03D15 ; 03E30 ; 03E35 ; 03F03 ; 03F20 ; 03F30 ; 03F40 ; 68Q15
Class. Library : 2013936799
ID notice : 0
Lien SUDOC : https://www.sudoc.fr/169884805