TY  - BOOK
AU  - Gordon, M. J. C.
AU  - Melham, T. F.
TI  - INTRODUCTION TO HOL
U1  - 621.381958 
PY  - 1993///
CY  - Cambridge
PB  - Cambridge Univ. Press
KW  - Logic Programming
KW  - Logic, Symbolic And Mathematical
ER  -