Iterated inductive definitions and subsystems of analysis :  Recent proof-theoretical studies / 
Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, Wilfried Sieg. 
 - Berlin ;  New York :  Springer-Verlag,  1981. 
 - v, 383 p. :  ill. ;  25 cm. 
 - Lecture notes in mathematics / Ed. by A. Dold, B. Eckmann  897 .
 - Lecture notes in mathematics (Springer-Verlag) ;  897. .
<br/><br/> Includes index. 
<br/><br/>Bibliogr.: p. [358]-368. 
<br/><br/><label>ISBN: </label>0387111700 (U.S. : pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematical analysis--Foundations<br/>Induction (Mathematics)<br/>Proof theory
<br/><br/><label>Dewey Class. No.: </label>510 s  511