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

ISBN: 978-3-540-11170-2 (Print) 978-3-540-38649-0 (Online)