Pohlers, Wolfram. <br/><br/>
Proof theory  the first step into impredicativity /  [electronic resource] : 
by Wolfram Pohlers. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2009. 
 - xiii, 374 pages :  illustrations, digital. 
 - Universitext .
<br/><br/><label>ISBN: </label>9783540693192 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Mathematics.<br/>Mathematical Logic and Foundations.
<br/><br/><label>Dewey Class. No.: </label>511.36