4 books • 1 series
Book #897: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
