Introduction to Foundational Logic by Dennis Q. McInerny (2012, Hardcover)Book is still pretty tight – has been gently used.