Equational logic as a programming language / Michael J. O'Donnell.
Saved in:
| Published: |
Cambridge, Mass. :
MIT Press,
c1985.
|
|---|---|
| Main Author: | |
| Series: | MIT Press series in the foundations of computing
|
| Subjects: | |
| Format: | Book |
EPS Library, Level 2
|
Call Number
Copy
Loan Type
Status
Request
|
|||||
