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.