bravefoot / forallx Goto Github PK
View Code? Open in Web Editor NEWThis project forked from openlogicproject/forallx
P.D. Magnus' forallx logic textbook
Home Page: http://www.fecundity.com/logic/download.html
License: Creative Commons Attribution 4.0 International