forallx an introductory logic textbook by P.D. Magnus link: original website This work is licensed under a Creative Commons Attribution 4.0 International License.