Proceedings

• Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld, editors, Computer Science Logic, 4th Workshop, CSL 90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Volume 533 of Lecture Notes in Computer Science, Springer, 1991.