Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg (auth.)Catégories:
Année:
1981
Edition:
1
Editeur::
Springer-Verlag Berlin Heidelberg
Langue:
english
Pages:
384
ISBN 10:
3540386491
ISBN 13:
9783540386490
Collection:
Lecture Notes in Mathematics 897
Fichier:
PDF, 5.26 MB
IPFS:
,
english, 1981
Ce livre ne peut être téléchargé en raison d'une plainte du titulaire d'un droit