The Open Logic Project
The OLP is an open source, open access textbook on advanced logic, aimed at philosophers, but also suitable for computer scientists and mathematicians. The text is a template from which custom books can be produced, depending on the aim of the course and the preferences of the instructor. 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/.