00844cam a2200205 a 450000500170000000800410001702000150005803500150007305000250008811100810011324501670019426000370036130000110039844000490040965000490045865000460050770000270055370000260058070000320060620260818085550.0090714s1990    gw      r     100|0 engx|  a3540527532  a.b1017863600aQA76.9 M35bW67 19892 aWorkshop on Computer Science Logicn(3rd :d1989 :cKaiserslautern, Germany)10aCSL'89 :b3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings /cE. Börger, H. Kleine Büning and M. M. Richter (Eds.)  aBerlin :bSpringer-Verlag,c1990  a437 p. 0aLecture notes in computer science ;vno. 440 0aLogic, Symbolic and mathematicalvCongresses 0aComputer sciencexMathematicsvCongresses1 aBörger, Egon,d1946-1 aBüning, Hans Kleine1 aRichter, Michael M.,d1938-