Book

Iterated Inductive Definitions and Subsystems of Analysis

by S. Feferman, W. Buchholz, W. Pohlers, W. Sieg