00802cam a2200193 a 450000500170000000800410001703500150005805000250007311100750009824501590017326000370033230000110036944000490038065000460042965000490047570000260052470000260055070000320057620260818085550.0090714s1989 gw r 100|0 engx| a.b1154092800aQA76.9 M35bW67 19882 aWorkshop on Computer Science Logicn(2nd :d1988 :cDuisburg, Germany)10aCSL '88 :b2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings /cE. Börger, H. Kleine Büning, M. M. Richter (eds.) aBerlin :bSpringer-Verlag,c1989 a399 p. 0aLecture notes in computer science ;vno. 385 0aComputer sciencexMathematicsvCongresses 0aLogic, Symbolic and mathematicalvCongresses1 aBöger, Egon,d1946-1 aBüning, Hans Kleine1 aRichter, Michael M.,d1938-