- 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.75 US$ 117.98 | JP¥ 17358] Book number 3282448To 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?