minghongx / open-logic Goto Github PK
View Code? Open in Web Editor NEWThis project forked from openlogicproject/openlogic
An open-source, customizable intermediate logic textbook.
Home Page: http://openlogicproject.org/
License: Creative Commons Attribution 4.0 International