9780387578262 - higher order logic theorem proving and its applications: 6th international workshop, hug '93, vancouver, b.c., canada, august 11-13, 1993: 780 (1 risultati)

Condizione: 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.