fine books - fair prices
| Search Antiqbook |
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:
See more books from our catalog: Computing & Internet
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
- Book number: 3282448
See more books from our catalog: Computing & Internet