H Iterated inductive definitions and subsystems of analysis
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 18893 | 1013564 | GALERIE |
Sous-titre : recent proof-theoretical studies
ISBN10 : 3-540-11170-0
Type de doc : A
Ville d'édition : Berlin
Langue ouvrage : eng
Collection : Lecture notes in mathematics
N° dans la collection : 0897
ISSN Collection : 0075-8434
Class. Math. 1991 : 03Fxx
Lien SUDOC : https://www.sudoc.fr/024453803