TY  - BOOK
AU  - Pohlers Wolfram
TI  - Proof theory: an introduction
T2  - Lecture notes in mathematics; 1407
U1  - B:(R1), M9 
PY  - 1989///
CY  - Berlin
PB  - Springer Verlag        
KW  - Mathematical logic
ER  -