No higher resolution available.
HOL book cover.
This file does not have information on its copyright status.
Appears on these pages
Please edit this page or contact Jonathan Bowen if you know of relevant online information not...
A good introductory book on HOL (Higher Order Logic) is: Order from Amazon USA or Amazon UK.
Click on a date/time to view the file as it appeared at that time.
|current||12:45, March 24, 2009||100 × 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.