m
MathOuvrage

H 0 Proof complexity

Krajicek, Jan

Cambridge university Press

2019

xv, 516 p. ; 24 cm

9781108416849

49598

théorie de la preuve ; complexité


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 49598 1041624 REFEN 01 170

Type de doc : M

Ville d'édition : Cambridge

Pays d'édition : gb

Langue ouvrage : eng

Collection : Encyclopedia of mathematics and its applications

N° dans la collection : 170

ISSN Collection : 0953-4806

Bibliographie : Bibliogr. p. 481-505

Class. Math. 2000 : 03-02 ; 03F20 ; 68Q15

Class. Library : QA9.54 .K72

N° LCCCN : 2018042527

Class. Dewey : 511.3/6

Lien SUDOC : https://www.sudoc.fr/235605581

Z