Equational logic as a programming language / Michael J. O'Donnell.
1985
QA76.7 .O36 1985 (Mapit)
Available at General Collection
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Title
Equational logic as a programming language / Michael J. O'Donnell.
Author
ISBN
026215028X
Published
Cambridge, Mass. : MIT Press, [1985]
Copyright
©1985
Language
English
Description
296 pages : illustrations ; 24 cm.
Call Number
QA76.7 .O36 1985
Dewey Decimal Classification
001.64/24
Note
Includes index.
Bibliography, etc. Note
Bibliography: p. [277]-284.
Series
MIT Press series in the foundations of computing.
Record Appears in