Iterated inductive definitions and subsystems of analysis :  recent proof-theoretical studies / 
Wilfried Buchholz [et al.]. 
 - Berlin [etc.] :  Springer-Verlag,  1981. 
 - V, 383 s. ;  24 cm. 
 - Lecture Notes in Mathematics ;  897 .
 - Lecture Notes in Mathematics  897 .
<br/><br/>Bibliogr. s. 358-368. Indeks. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540111700 0387111700 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Indukcja (matematyka).<br/>Teoria dowodu.<br/>Podstawy analizy matematycznej.<br/>Logika symboliczna i matematyczna.
<br/><br/><label>Universal Decimal Class. No.: </label>517.5