TY  - BOOK
AU  - Diller,Justus
AU  - Muller,G.H.
ED  - ISILC Proof Theory Symposion
ED  - International Summer Institute and Logic Colloquium
TI  - ISILC Proof Theory Symposion: dedicated to Kurt Schutte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 
SN  - 038707533X (pbk) :
U1  -  510.82 
PY  - 1975///
CY  - Berlin
PB  - Springer-Verlag
KW  - Schutte, K.
KW  - Proof theory
KW  - Congresses
N1  - Text in English or German; Bibliography : p. 382-383
ER  -