"forall x" is an open access introductory textbook in formal logic.fecundity.com6 points·lgv··0 commentsOpen articleSaveView on HN