Introduction to HOL: A theorem proving environment for higher order logic

Similar Items

• Some Research Issues in Higher Order Logic Theorem Proving
  by: Melham, T
  Published: (1996)
• Symbolic logic and mechanical theorem proving /
  by: 336504 Chang, Chin-Ling, et al.
  Published: (1973)
• Supplementary Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and its Applications
  Published: (1994)
• Automated theorem proving : a logical basis /
  by: 403272 Loveland, Donald W.
  Published: (1978)
• Reasoning with Inductively Defined Relations in the HOL Theorem Prover
  by: Camilleri, J, et al.
  Published: (1992)