ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 - Müller, G. H. 1923- (Gert Heinz); Oberschelp, Arnold; Potthoff, Karl (Springer-Verlag, 1975)