Equational logic as a programming language
Equational logic as a programming language is a book. It was written by Michael J. O'Donnell and published by MIT Press in 1985.
Key facts
- author: Michael J. O'Donnell
- publication date: 1985
- book publisher: MIT Press
- book series: MIT Press series in the foundations of computing
- book subjects: Logic, Symbolic and mathematical, Programming languages (Electronic computers), Equations, Theory of
Extract data
Download datasets about Equational logic as a programming language:
Dataset of books series that contain Equational logic as a programming language:
Dataset of book subjects that contain Equational logic as a programming language:
"Equational logic as a programming language" is one of the books by Michael J. O'Donnell, books by MIT Press and 2,617,384 books in our database.
Related
Connected or similar to Equational logic as a programming language: .
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.