Equational logic as a programming language /

Bibliographic Details

Main Author:	O'Donnell, Michael J., 1952-
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1985]
Series:	MIT Press series in the foundations of computing.
Subjects:	Programming languages (Electronic computers) Logic, Symbolic and mathematical. Equations, Theory of.