Iterated Inductive Definitions and Subsystems of Analysis
Subtitle: Recent Proof-Theoretical Studies
Publisher: Springer-Verlag
Published: February 1982
Format: Paperback
ISBN-13: 9789991751221
Subjects: Functional Analysis; Induction (Mathematics); Foundations; Mathematical Analysis; Proof theory