- Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic.

Cambridge University Press, 1993. Edition: Spi. Hardcover with dustjacket, Pages: 492. Fast Dispatch. Expedited UK Delivery Available. Excellent Customer Service. Bookbarn International Inventory #3282448 Used; Good. ISBN: 9780521441896.

GBP 87.23 [Appr.: EURO 100 US$ 117.25 | JP¥ 17312] Book number 3282448

To our regrets this title was recently sold. Please use the search function to find another copy.

Do you want to see

- more titles like this one?
- more from this bookseller?

Back to your search results