A good introductory book on HOL (Higher Order Logic) is:

Introduction to HOL: A theorem proving environment for higher order logic, edited by M.J.C. Gordon and T.F. Melham, 1993. ISBN 0-521-44189-7.

Order from Amazon USA or Amazon UK.

See also:

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.