Graham Hutton. Book Review: 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. Journal of Functional Programming, 4(4):557-559, 1994.
@article{Hutton94,
title = {Book Review: 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},
author = {Graham Hutton},
year = {1994},
tags = {reviewing, logic, Meta-Environment},
researchr = {https://researchr.org/publication/Hutton94},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {4},
number = {4},
pages = {557-559},
}