European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974. - G. H. Muller; Arnold Oberschelp; K. Potthoff (J. Symb. Log., 1976)