Symbolic Logic: Syntax, Semantics, and Proof - 9781442217416