Introduction to HOL
Subtitle: a theorem proving environment for higher order logic
By: edited by M.J.C. Gordon and T.F. Melham.
Contributors: Gordon, Michael J. C., 1948-; Melham, T. F.
Publisher: Cambridge University Press
Published: 1993
Place of publication: Cambridge; New York
Language: eng
Number of pages: 472
Subjects: HOL (Computer file); Automatic theorem proving.; ML (Computer program language)
Notes: Includes bibliographical references (p. [441]-443) and index.