ISBN 0521441897 books & textbook
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Gordon, M. J. C. Melham, T. F.
Cambridge University Press /1993-06-25 Hardcover / 492 Pages
isbn-10: 0521441897 / isbn-13: 9780521441896
book price comparison
