Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

S. Feferman, W. Buchholz, W. Sieg, W. Pohlers

ISBN 10: 3540111700 / ISBN 13: 9783540111702

Edité par Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 1981

A propos de cet article

N° de réf. du vendeur LU-9783540111702

Détails bibliographiques

• Titre: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
• Éditeur: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE
• Date de parution: 1981
• Langue: anglais
• ISBN à 10 chiffres: 3540111700
• ISBN à 13 chiffres: 9783540111702
• Reliure: Paperback
• Édition: 1981 ed.
• État de l'article: New