Normal view
MARC view
- Equations, Theory of
Equations, Theory of (Topical Term)
Machine generated authority record.
Work cat.: (OSt)0: O'Donnell, Michael J., 1952- 4934, Equational logic as a programming language /, c1985.