Computer science logic Dagstuhl-Seminar-Report; 40 13.07.-17.07.92(9229) - Börger, E. 1946- (Egon); Gurevich, Yuri; Kleine-Buning, Hans