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

Author:
ISBN: 0521441897
Published by: Cambridge University Press
Release Date: 1993-03-18
Format: Hardcover

Compare Book Price!
We search 40+ book stores for best price on book 0521441897!

The prices and availability of book 0521441897 from all major book stores will be returned in one table . It is a convenient way for you to check prices at multiple book stores with one click. Save big on book 0521441897 today!

The address of this page is: http://www.akabook.com/isbn/0521441897.html
You can link to the price comparison result at:

• www.akabook.com/wait.jsp?searchterm=0521441897
• www.akabook.com/IsbnSearch_script.jsp?searchterm=0521441897