Buchholz, Wilfried <br/><br/>
Iterated inductive definitions and subsystems of analysis  recent proof-theoretical studies 
Wilfried Buchholz; Solomon Feferman; Wolfram Pohlers; Wilfried Sieg 
 - Berlin  New York  Springer-Verlag  c1981 
 - v, 383 p  ill  24 cm 
 - Lecture notes in mathematics  897  ISSN 0075-8434 .
 - Lecture notes in mathematics (Springer-Verlag) .
<br/><br/> Cuprinde bibliografie si index 
<br/><br/><label>ISBN: </label>0387111700 (New York : pbk.) 3540111700 (Berlin : pbk.) 
<br/><br/><label>LCCN: </label>81021364 
<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