European Summer Meeting of the Association for Symbolic Logic. - Heinz-Dieter Ebbinghaus; José Fernández-Prida; Manuel Garrido; Daniel Lascar; Mario Rodríguez-Artalejo (J. Symb. Log., 1989)