Equational logic as a programming language
O'Donnell, Michael J.,1952-
Cambridge, Mass. London MIT Press
c1985
Bibliography: p277-284. - Includes index
Electronic digital computers
Logic, Symbolic and mathematical.
Equations.