Mathematical Logic and Programming Languages
by HOARE, C. A. R. & J. C. Shepherdson (editors)
$20 · Offered by Between the Covers
NJ: Prentice, 1986. Hardcover. Second edition. Near fine/hardcover. Corners slightly bent. Spine slightly faded. Nice condition otherwise. More
Found via Rare Books Intel, a search across rare-book dealers, auction houses and marketplaces worldwide.