Truth, Deduction, and Computation: Logic and Semantics for Computer Science (Principles of Computer Science Series)