TY  - DATA
AU  - Wolfram Pohlers
TI  - Proof Theory
T2  - Lecture Notes in Mathematics
SN  - 9783540468257
PY  - 1989///
CY  - Heidelberg
PB  - Springer Berlin
KW  - Mathematics and Statistics
UR  - https://doi.org/10.1007/978-3-540-46825-7
ER  -