-
Notifications
You must be signed in to change notification settings - Fork 249
Home
rzach edited this page Feb 22, 2013
·
6 revisions
The Open Logic Project is (so far only a nascent attempt at) a open-source, collaborative textbook of formal logic and formal methods for philosophers. If successful, it will be possible to use stock or modified versions of the text for free under a Creative Commons license.
To get the LaTeX source code of the text, you may simply download it or use git.
An introduction to git is here: http://git-scm.com/doc