-A.R. Meyer/M.A. Taitslin (Eds.): Logic at Botik '89, Proceedings 1989, Springer-Verlag 1989