Hacker News new | ask | show | jobs
"forall x" is an open access introductory textbook in formal logic. (fecundity.com)
6 points by lgv 6038 days ago