Equational Logic as a Programming Language
by ODONNELL, Michael J.
$35 · Offered by Between the Covers
MA: MIT Press, 1986. Hardcover. Second edition. Very good plus+. Hardcover is very lightly rubbed at spine ends and corners, clean copy. More
Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.