m
     
MathOuvrage

H 0 Iterated inductive definitions and subsystems of analysis

H

Buchholz, Wilfried ; Feferman, Solomon ; Pohlers, Wolfram ; Sieg, Wilfried

Springer

1981

383

18893

https://doi.org/10.1007/BFb0091894


Exemplaires

Nbre d'exemplaires : 1
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

Z