An open-source, customizable intermediate logic textbook

License: CC-BY-4.0

Language: TeX

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.

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

Project Statistics

Sourcerank 9
Repository Size 3.88 MB
Stars 447
Forks 126
Watchers 76
Open issues 36
Dependencies 0
Contributors 12
Tags 1
Last updated
Last pushed

Top Contributors See all

Richard Zach danahagg seanrsinclair nicolewyatt Jeremy Avigad AldAnt audreysh Chad Nester Robin Houston Jordan Suchow Valentin Lorentz Данило Глинський (Danylo Hlynskyi)

Recent Tags See all

v1.0-a May 03, 2015

Interesting Forks See all

An open-source, customizable intermediate logic textbook
TeX - Last pushed - 1 stars

Something wrong with this page? Make a suggestion

Last synced: 2017-11-24 18:07:51 UTC

Login to resync this repository