H Subsystems of second order arithmetic
1999
xiv, 444 p. ; 25 cm
9783540648826
39789
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 39789 | 1020216 | GALERIE |
ISBN10 : 3-540-64882-8
Type de doc : M
Ville d'édition : Berlin ; Heidelberg ; New York NY
Pays d'édition : de
Langue ouvrage : eng
Collection : Perspectives in mathematical logic
ISSN Collection : 0172-6641
Bibliographie : Bibliogr. p. 413-424
Class. Math. 1991 : 03B30 ; 03C62 ; 03F35
Lien SUDOC : https://www.sudoc.fr/157449467