Iterated Inductive Definitions and Subsystems of Analysis
Subtitle: Recent Proof-Theoretical Studies
Publisher: Springer Berlin / Heidelberg
Published: 1981
Language: eng
Number of pages: 384
ISBN-13: 9783540111702
Subjects: Mathematical analysis; Induction (mathematics); Proof theory