Cover Image

Introduction to HOL : a theorem proving environment for higher order logic /

Bibliographic Details
Other Authors: Gordon, M. J. C., Melham, T. F. (Tom F.)
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1993.
Subjects:
HOL (Computer file)
Mathematical logic
ML (Computer program language)
Predicate calculus.
Automatic theorem proving.
Description
Physical Description:xx, 472 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references (pages [441]-443) and index.
ISBN:0521441897 (spiral) :