Introduction to HOL
Subtitle: A Theorem-Proving Environment for Higher-Order Logic
Contributors: M. J. C. Gordon (Editor); T. F. Melham (Editor)
Edition: Spiral edition
Publisher: Cambridge University Press
Published: June 25, 1993
Language: eng
Format: Hardcover
Number of pages: 492
ISBN-13: 9780521441896
Subjects: Special purpose languages; Computers - General Information; Automata; Computer Logic; Computer Bks - General Information; ML (Computer program language); Computer Books: Languages; Logic Design; Discrete Mathematics; Computers / Programming / Software Development; Automatic theorem proving; HOL (Computer file)
First sentence: The HOL system supports higher order logic.