ISILC Logic Conference: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974,Gert H Müller; Arnold Oberschelp; Klaus Potthoff,springer, Berlin, Heidelberg

G H Müller, 1923-; A Oberschelp; K Potthoff