"forall x" is an open access introductory textbook in formal logic. #1 Post by lgv » Tue, Dec 01, 2009, 7:28 PM UTC "forall x" is an open access introductory textbook in formal logic.fecundity.com