Isbn: 9780387578262 - higher order logic theorem proving and its applications: 6th international workshop, hug '93, vancouver, b.c., canada, august 11-13, 1993 (lecture notes in computer science) (1 Ergebnisse)

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.