Skip to content

An open-source, customizable intermediate logic textbook

License

Notifications You must be signed in to change notification settings

jdutant/OpenLogic

 
 

Repository files navigation

The Open Logic Project

Build Status

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.

For more information, see the project website and Open Logic wiki.

Author(s): The Open Logic Project

Creative Commons License
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/.

About

An open-source, customizable intermediate logic textbook

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • TeX 81.1%
  • PostScript 18.5%
  • Other 0.4%