01171cam a2200289 a 4500 20260818085550.0 090714s1989 gw r 100|0 engx| .b11540928 QA76.9 M35 W67 1988 Workshop on Computer Science Logic (2nd : 1988 : Duisburg, Germany) CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / E. Börger, H. Kleine Büning, M. M. Richter (eds.) Berlin : Springer-Verlag, 1989 399 p. Lecture notes in computer science ; no. 385 Computer science Mathematics Congresses Logic, Symbolic and mathematical Congresses Böger, Egon, 1946- Büning, Hans Kleine Richter, Michael M., 1938- .b11540928 mngc - 190904 0 960826 m a - 0 mngc 14 Barcode : 30050003166997 CREATED : 1995-03-29 RECORD # : i11830074 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 24844 24844 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.9 M35 W67 1988 30050003166997 2026-08-18 08:55:50 1 2026-08-18 14