TY - BOOK AU - Gordon M J AU - Melham T F TI - Introduction to HOL: a theorem proving environment for higher order logic U1 - 005.131 PY - 1993/// CY - New York PB - Cambridge University Press KW - Higher order logic ER -