European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978. - Maurice Boffa; P. Henrard (J. Symb. Log., 1980)