Forall X is an open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic. forall x was written by P.D. Magnus, an associate professor at the University at Albany, State University of New York. Magnus received his PhD from UC San Diego.