Customer Reviews


There are no customer reviews yet.  Create your own review

This product

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic by M. J. C. Gordon (Hardcover - June 25, 1993)
Used & New from: $11.66
Add to wishlist See buying options