Language, Proof, and Logic: Second Edition [With Software], Paperback/David Barker-Plummer