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

by: M. J. C. Gordon · T. F. Melham Hardcover details (UK). ISBN: 978-0-521-44189-6 ISBN-10: 0-521-44189-7 Cambridge University Press · 1993