"forall x" is an open access introductory textbook in formal logic. · HackerTrans