1 option
Equational logic as a programming language / Michael J. O'Donnell.
LIBRA QA76.7 .O36 1985
Available from offsite location
- Format:
- Book
- Author/Creator:
- O'Donnell, Michael J., 1952-
- Series:
- MIT Press series in the foundations of computing
- MIT Press series in the foundations of computing.
- Language:
- English
- Subjects (All):
- Programming languages (Electronic computers).
- Logic, Symbolic and mathematical.
- Equations, Theory of.
- Physical Description:
- 296 pages : illustrations ; 24 cm.
- Place of Publication:
- Cambridge, Mass. : MIT Press, [1985]
- Notes:
- Includes index.
- Bibliography: pages [277]-284.
- ISBN:
- 026215028X
- OCLC:
- 11599858
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.