Pohlers, Wolfram. <br/><br/>
Proof theory :  an introduction / 
Wolfram Pohlers. 
 - Berlin [etc.] :  Springer-Verlag,  1989. 
 - VI, 213 s. ;  24 cm. 
 - Lecture Notes in Mathematics ;  1407 .
 - Lecture Notes in Mathematics  1407 .
<br/><br/>Bibliogr. s. 190-207. Indeks. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540518428 0387518428 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoria dowodu.
<br/><br/><label>Universal Decimal Class. No.: </label>510