H Handbook of proof theory
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 45508 | 1036760 |
GALERIE REF HAND *Don M. Eytan |
ISBN10 : 0-444-89840-9
Type de doc : A
Ville d'édition : Amsterdam
Pays d'édition : nl
Langue ouvrage : eng
Collection : Studies in logic and the foundations of mathematics
N° dans la collection : 137
ISSN Collection : 0049-237X
Bibliographie : Notes bibliogr.
Class. Math. 2000 : 03Fxx ; 03-06
Class. Library : QA9.54.H35
N° LCCCN : 98-18922
Class. Dewey : 511.3
Lien SUDOC : https://www.sudoc.fr/011025077