m
     
MathOuvrage

H 0 Logical foundations of mathematics and computational complexity

H

Pudlák, Pavel

Springer

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

https://link.springer.com/bookseries/3733


Exemplaires

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

Z