-E. Börger et al.(Eds.): Computer Science Logic, Proceedings 1992, Springer-Verlag 1993