|Alessandro Bandeira Duarte cea3245521 Add all my files||6 days ago|
|assets||1 week ago|
|bib||1 week ago|
|boxes-and-diamonds||6 days ago|
|content||6 days ago|
|include||1 week ago|
|incompleteness-computability||1 week ago|
|misc||1 week ago|
|phil310||6 days ago|
|set-theory||1 week ago|
|sets-logic-computation||1 week ago|
|sty||1 week ago|
|.gitignore||1 week ago|
|LICENSE||1 week ago|
|README.md||1 week ago|
|open-logic-complete-config.sty||1 week ago|
|open-logic-complete.tex||1 week ago|
|open-logic-config.sty||1 week ago|
|open-logic-debug.tex||1 week ago|
|open-logic-envs.sty||1 week ago|
The Open Logic Project is an open source, open access collection of materials on advanced logic, aimed mainly at philosophers, but also suitable for computer scientists and mathematicians. The text can be rearranged and remixed. You can produce custom textbooks from it, so they take the aim of the course and the preferences of the instructor into account. It is written in LaTeX.
Author(s): The Open Logic Project
The Open Logic Text by The Open Logic Project is licensed under a Creative Commons Attribution 4.0 International License.
Permissions beyond the scope of this license may be available at http://openlogicproject.org/.