Equational logic as a programming language /
O'Donnell, Michael J., 1952-
Equational logic as a programming language / Michael J. O'Donnell. - Cambridge, Mass. : MIT Press, c1985. - 296 p. : ill. ; 24 cm. - MIT Press series in the foundations of computing .
Includes index.
Bibliography: p. [277]-284.
026215028X
84029507
Programming languages (Electronic computers)
Logic, Symbolic and mathematical.
Equations, Theory of.
QA76.7 / .701985
001.64/24
Equational logic as a programming language / Michael J. O'Donnell. - Cambridge, Mass. : MIT Press, c1985. - 296 p. : ill. ; 24 cm. - MIT Press series in the foundations of computing .
Includes index.
Bibliography: p. [277]-284.
026215028X
84029507
Programming languages (Electronic computers)
Logic, Symbolic and mathematical.
Equations, Theory of.
QA76.7 / .701985
001.64/24