Pohlers, Wolfram. <br/><br/>
Proof theory:  First step into impradictivity. 
Wolfram Pohlers. 
 - Berlin:  Springer,  2009. 
 - xiii, 370p. 
<br/><br/><label>Subjects--Index Terms: </label>Proof theory 
<br/><br/><label>Universal Decimal Class. No.: </label>519.1  / POH