3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings Workshop on Computer Science Logic 1989 : Kaiserslautern, Germany) creator Börger, Egon 1946- Büning, Hans Kleine Richter, Michael M. 1938- text conference publication gw Berlin Springer-Verlag 1990 monographic eng 437 p. E. Börger, H. Kleine Büning and M. M. Richter (Eds.) Logic, Symbolic and mathematical Congresses Computer science Mathematics Congresses QA76.9 M35 W67 1989 3540527532 090714 20260818085550.0