Fathoming Formal Logic : Vol II: Semantics and Proof Theory for Predicate Logic