You are about to access our book library "Fathoming Formal Logic: Vol II. Semantics and Proof Theory for Predicate Logic full version" .