![]() |
||||
ANTIQBOOK
fine books - fair prices | ||||
|
||||
Ask a question or Order this book Browse our books Search our books Book dealer info | Author: Title: Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic. Description: 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. Keywords: Price: GBP 87.23 = appr. US$ 124.56 Seller: Bookbarn International - Book number: 3282448 See more books from our catalog: Computing & Internet |