TY  - BOOK
AU  - Diller,J (ed)
AU  - Muller, G H (ed)
TI  - ISILC proof theory symposion
SN  - 354007533X
U1  - 510.8 
PY  - 1975///
CY  - Berlin
PB  - Springer Verlag
KW  - Proof theory
ER  -