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

ISBN-13: 9780521441896

ISBN-10: 0521441897

Binding: Hardcover

Publisher: Cambridge University Press

Published: 1993

Sell this book           Buy or Rent?