P.D. Magnus' forallx logic textbook - View it on GitHub