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) von joyce, jeffrey j.; seger, carl-johan h. (1 Ergebnisse)

Zustand: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.