---
title: "Readme"
source: Open Logic Project
source_url: https://github.com/OpenLogicProject/OpenLogic
licence: CC-BY-4.0
domain: foundations
subdomain: open-logic-project
date_added: 2026-04-25
---

The Open Logic Project
======================


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](https://openlogicproject.org/) and [Open Logic
wiki](https://github.com/OpenLogicProject/OpenLogic/wiki).

This repository contains LaTeX source files only. Head to the [builds site to download PDFs](https://builds.openlogicproject.org/).

Author(s): The Open Logic Project

[](https://creativecommons.org/licenses/by/4.0/)The Open Logic Text by [The Open Logic Project](https://openlogicproject.org/people/) is licensed under a [Creative Commons Attribution 4.0 International License](https://creativecommons.org/licenses/by/4.0/).Permissions beyond the scope of this license may be available at [https://openlogicproject.org/](https://openlogicproject.org/).
