OpenLogicProject/OpenLogic


An open-source, customizable intermediate logic textbook

http://openlogicproject.org/

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 http://openlogicproject.org/.

Project Statistics

Sourcerank 9
Repository Size 3.88 MB
Stars 447
Forks 126
Watchers 76
Open issues 36
Dependencies 0
Contributors 12
Tags 1
Created
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

SamaraBurns/OpenLogic
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