TY  - BOOK
AU  - Diller, J.
TI  - proof theory symposion
PY  - 1975///
CY  - Berlin
PB  - Springer Verlag
ER  -