Research Catalog
Edinburgh LCF : a mechanised logic of computation
- Title
- Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.
- Author
- Gordon, Michael J. C., 1948-
- Publication
- Berlin ; New York : Springer-Verlag, 1979.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA9.59 .G67 | Off-site |
Details
- Additional Authors
- Description
- viii, 159 pages; 24 cm
- Series Statement
- Lecture notes in computer science ; 78
- Uniform Title
- Lecture notes in computer science ; 78.
- Subjects
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. 153-157
- ISBN
- 0387097244
- 9780387097244
- 3540097244
- 9783540097242
- 0540097244 (canceled/invalid)
- LCCN
- 79024745
- OCLC
- ocm05726414
- 5726414
- SCSB-9155942
- Owning Institutions
- Princeton University Library