Logic. Colloquium '88 : Proceedings of the colloquium, Padova, Italy, August 22 - 31, 1988 - Baudisch, Andreas (Studies in logic and the foundations of mathematics, 1989)