-P Martin-Löf/G. Mints (Eds.): COLOG-88. Internatiorial Conference on Computer Logic, Proceedings 1988, Springer-Verlag 1990