Rowman & Littlefield Pub, Inc. Symbolic Logic: Syntax, Semantics and Proof