H Arithmetic, proof theory, and computational complexity
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 36649 | 1004641 | GALERIE |
ISBN10 : 0-19-853690-9
Type de doc : A
Ville d'édition : Oxford
Pays d'édition : gb
Langue ouvrage : eng
Collection : Oxford logic guides
N° dans la collection : 23
ISSN Collection : 0953-1173
Bibliographie : Notes bibliogr.
Class. Math. 1991 : 03-06 ; 03F03 ; 03F20
Class. Library : QA9.54.A75
N° LCCCN : 92-41659
Class. Dewey : 511.3
Lien SUDOC : https://www.sudoc.fr/015943178