ISBN 354051659X books & textbook
CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings (Lecture Notes in Computer Science, 385)
Börger, Egon Kleine Büning, Hans Richter, Michael M.
Springer /1989-09-06 Paperback / 412 Pages
isbn-10: 354051659X / isbn-13: 9783540516590
