forall x: An Introduction to Formal Logic
fecundity.com