Introduction to HOL A theorem proving environment for higher order logic

• Other Authors: Gordon, M. J. (Editor), Melham, T. F. (Editor)
• Format: Book
• Language: English
• Published: Cambridge Cambridge University Press c1993
• Subjects: HIGHER ORDER LOGIC; HOL; ΕΠΕΑΕΚ