TY - BOOK AU - Borger, Egon. Ed. AU - Gurevich, Yuri, Ed. AU - Meinke, Karl. Ed. TI - Computer Science Logic: 7th Workshop, CSL '93, Swansea, UK. 1993 SN - 3540582770 CY - Berlin KW - Computer KW - Logic ER -