Hol-book-0521441897.gif(100 × 140 pixels, file size: 17 KB, MIME type: image/gif)

Summary Edit

HOL book cover.

Licensing: Edit

This file does not have information on its copyright status.

Appears on these pages

  • HOL

    Please edit this page or contact Jonathan Bowen if you know of relevant online information not...

  • Introduction to HOL

    A good introductory book on HOL (Higher Order Logic) is: Order from Amazon USA or Amazon UK.

File history

Click on a date/time to view the file as it appeared at that time.

current12:45, March 24, 2009Thumbnail for version as of 12:45, March 24, 2009100 × 140 (17 KB)Jpbowen (Talk | contribs)HOL book cover. Category:Books

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.