Logic Colloquium '87

H.D. Ebbinghaus , J. Fernandez-Prida , M. Garrido