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  -