This HTML5 document contains 6 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
n6http://dbkwik.webdatacommons.org/ontology/
dctermshttp://purl.org/dc/terms/
n7http://dbkwik.webdatacommons.org/resource/qfRnHq43aslDSe0Fpu0BJw==
n4http://dbkwik.webdatacommons.org/resource/vsCtEAULYGBoUtExsRVuEQ==
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://dbkwik.webdatacommons.org/resource/2Nq3d12fPS1ufTXTLFadOw==
n8http://dbkwik.webdatacommons.org/resource/THM5nMbPxjrVBTrsiHfCAg==
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
n2:
rdfs:label
Introduction to HOL
rdfs:comment
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: * Publisher's information from Cambridge University Press. ISBN 0-521-44189-7. * A book review of An introduction to HOL by Graham Hutton.
dcterms:subject
n4: n7: n8:
n6:abstract
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: * Publisher's information from Cambridge University Press. ISBN 0-521-44189-7. * A book review of An introduction to HOL by Graham Hutton.