Equational logic as a programming language

Saved in:
Bibliographic Details
Main Author: O'Donnell, Michael J., 1952-
Format: Book
Language:English
Published: Cambridge, Mass MIT Press c1985
Series:MIT Press series in the foundations of computing
Subjects:
Programming languages (Electronic computers)
Logic, Symbolic and mathematical
Equations, Theory of
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold and recall information

Similar Items