Research Catalog
Equational logic as a programming language
- Title
- Equational logic as a programming language / Michael J. O'Donnell.
- Author
- O'Donnell, Michael J., 1952-
- Publication
- Cambridge, Mass. : MIT Press, c1985.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 86-2212 | Offsite |
Details
- Description
- 296 p. : ill.; 24 cm.
- Series Statement
- MIT Press series in the foundations of computing
- Subjects
- Note
- Includes index.
- Bibliography (note)
- Bibliography: p. [277]-284.
- Call Number
- JSE 86-2212
- ISBN
- 026215028X
- LCCN
- 84029507
- OCLC
- 11599858
- NYPG86-B48517
- Author
- O'Donnell, Michael J., 1952-
- Title
- Equational logic as a programming language / Michael J. O'Donnell.
- Imprint
- Cambridge, Mass. : MIT Press, c1985.
- Series
- MIT Press series in the foundations of computing
- Bibliography
- Bibliography: p. [277]-284.
- Research Call Number
- JSE 86-2212