TY  - BOOK
AU  - Diller J Ed.
AU  -  Muller G H Ed.
TI  - ISILC proof theory symposiom : Dedicate to kurt schutte on the occasion of his 65th birthday,  proceedings of the International Summer Institute and Logic Colloquium
T2  - Lecture notes in mathematics
U1  - R14, L5 
PY  - 1975///
ER  -