The Logical Basis for Computer Programming by Zohar Manna & Richard Waldinger
Excellent condition.