CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings - Richter, Michael M., 1938-; Börger, E. (Egon), 1946-; Kleine Büning, H. (Hans) (Lecture notes in computer science, 1989)