TY  - BOOK
AU  - Pohlers,Wolfram
ED  - SpringerLink (Online service)
TI  - Proof theory: the first step into impredicativity 
SN  - 9783540693192
U1  - 511.36 22
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Proof theory
KW  - Mathematics
KW  - Mathematical Logic and Foundations
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-540-69319-2
ER  -