Research Catalog
Introduction to HOL : a theorem proving environment for higher order logic
- Title
- Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham.
- Publication
- Cambridge ; New York : Cambridge University Press, 1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 94-1012 | Offsite |
Details
- Additional Authors
- Description
- xx, 472 p. : ill.; 23 cm.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. [441]-443) and index.
- Call Number
- JSE 94-1012
- ISBN
- 0521441897 (spiral)
- LCCN
- gb 93029830
- OCLC
- 28335462
- NYPG94-B3889
- Title
- Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1993.
- Bibliography
- Includes bibliographical references (p. [441]-443) and index.
- Added Author
- Gordon, Michael J. C., 1948-Melham, T. F. (Tom F.)
- Research Call Number
- JSE 94-1012