H Proof complexity
2019
xv, 516 p. ; 24 cm
9781108416849
49598
N° | 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