BORGER, E.; JAGER, G.; KLEINE BUNING, H. & RICHTER, M. M. (EDS.)
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science 626)
Berlin, Springer-Verlag. 1992. (ISBN: 9780387557892). paperback. Ex-Library, Lecture Notes in Computer Science 626; Ex-Library. Previous owner's sticker and mild crease across front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Very Good/No Dust Jacket.
PsychoBabel Books
Professional sellerBook number: 094531
GBP 6.71 [Appr.: EURO 8 US$ 8.41 | JP¥ 1309]
Keywords: Computer Science Logic Symbolic Mathematical 9780387557892