Equational logic as a programming language
By: Michael J. O'Donnell.
Series: MIT Press series in the foundations of computing
Publisher: MIT Press
Published: 1985
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 296
Subjects: Programming languages (Electronic computers); Logic, Symbolic and mathematical.; Equations, Theory of.
Notes: Bibliography: p. [277]-284.
Includes index.