Introduction to HOL : a theorem proving environment for higher order logic

Author(s)

• Gordon, M. J. C
• Melham, T. F. (Tom F.)

Bibliographic Information

Introduction to HOL : a theorem proving environment for higher order logic

edited by M.J.C. Gordon and T.F. Melham

Cambridge University Press, 1993

Details

• NCID: BA2078819X
• ISBN:
  • 0521441897
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xx, 472 p.
• Size: 23 cm
• Classification:
  • DC20 : 511.3028553