TY  - BOOK
AU  - Pohlers,Wolfram
TI  - Proof theory: the first step into impredicativity 
T2  - Universitext
SN  - 9783540693185 (pbk.)
U1  - 511.36 POH 
PY  - 2009///
CY  - Berlin
PB  - Springer
KW  - Proof theory
KW  - Beweistheorie
KW  - swd
N1  - TBH/SINV00482/15
Euro 59.99; Includes bibliographical references (p. 357-361) and index
ER  -