TY  - BOOK
AU  - Pohlers Wolfram
TI  - Proof theory : The first step into impredicativity
U1  - B: (R14), P9 
PY  - 2009///
CY  - Berlin
PB  - Springer       
KW  - Mathematics
ER  -