forall x is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Description based on version viewed on BCcampus OpenEd website; title from pdf title page (viewed on November 4, 2013).