Author: BORGER, E.; BUNING, H. KLEINE & RICHTER, M. M. (EDS.)
Title: CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings (Lecture Notes in Computer Science 385)
Description: Berlin, Springer-Verlag. 1989. (ISBN: 9783540516590). Paperback. Ex-Library, Lecture Notes in Computer Science 385. Ex-Library. Ink stamp and previous owner's sticker on the front cover. Small pen inscription on title page. Minute traces of sticker residue and faint bumps across the spine head and some edges. Sound, clean book with tight binding. ADG. Very Good/No Dust Jacket.

Keywords: Computer Science Mathematics Logic Symbolic 9783540516590


See more books from our catalog: Computers & Technology (Incl. Ai)