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 /
edited by J. Diller and G. H. Muller
- Berlin : Springer-Verlag, c1975
- viii, 383 p. ; 25 cm.
- Lecture notes in mathematics ; 500 .