Hostname: page-component-6bb9c88b65-dwch4 Total loading time: 0 Render date: 2025-07-17T13:54:43.327Z Has data issue: false hasContentIssue false
  • English
  • Français

Introduction to HOL: a theorem proving environment for higher order logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7

Review products

Introduction to HOL: a theorem proving environment for higher order logic by Mike Gordon and Tom Melham (eds.), Cambridge University Press, 1993, ISBN 0-521-44189-7

Part of: JFP Book Reviews

Published online by Cambridge University Press:  07 November 2008

Graham Hutton
Graham Hutton
Affiliation:
Department of Computer SciencesChalmers University of Technology and University of Göteberg, Sweden
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Information

Type
Book Review
Information
Journal of Functional Programming , Volume 4 , Issue 4 , October 1994 , pp. 557 - 559
Copyright
Copyright © Cambridge University Press 1994
Submit a response

Discussions

No Discussions have been published for this article.