Iterated inductive definitions and subsystems of analysis:  recent proof-theoretical studies/ 
Wilfried Buchholz ... [et al.]. 
 - Berlin ;  New York:  Springer-Verlag,  1981. 
 - v, 383 p.:  ill.;  25 cm. 
 - Lecture notes in mathematics ;  897. .
 - Lecture notes in mathematics (Springer-Verlag);  897. .
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. [358]-368. 
<br/><br/><label>ISBN: </label>0387111700 (U.S. : pbk.) 
<br/><br/><label>LCCN: </label>81021364 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Analyse mathématique---Fondements.<br/>Induction (Mathématiques).-<br/>Preuve, théorie de la.-<br/>Mathematical analysis---Foundations<br/>Induction (Mathematics)-<br/>Proof theory-
<br/><br/><label>Dewey Class. No.: </label>510 s  511