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. - Schutte, K. (Kurt); Diller, Justus; Muller, G. H. (Gert Heinz), 1923- (Lecture notes in mathematics (Springer-Verlag) ;, 1975)