Pohlers, Wolfram, <br/><br/>
Proof theory :  the first step into impredicativity / 
Wolfram Pohlers 
 - 370 páginas 
<br/><br/><label>ISBN: </label>9783540693185 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de la demostración
<br/><br/><label>LC Class. No.: </label>QA9.54  / P65