Buchholz, W. <br/><br/>
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies 
/by W. Buchholz 
 - New York:  Springer,  1981. 
<br/><br/><label>ISBN: </label>3540111700 
<br/><br/><label>Dewey Class. No.: </label>515  / BUC/I