answersLogoWhite

0

M. J. C. Gordon has written:

'HOL, a machine orientated formulation of higher order logic'

User Avatar

Wiki User

10y ago

What else can I help you with?