Introduction to HOL: A Theorem Proving Environment for Higher Order Logic

[ISBN] [Google Scholar] [DBLP] [Citeseer]

Cambridge University Press
New York, NY, USA
1993
Note(s): HOL theorem prover, interactive theorem prover

Notes related to Introduction to HOL: A Theorem Proving Environment for Higher Order Logic