Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies 1981 · ENGLISH · PDF View details →
