ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 - Schütte, K. (Kurt); Diller, Justus; Müller, G. H. 1923- (Gert Heinz) (Springer-Verlag, 1975)