We regularly compile the files in the repository into PDFs. If you’d just like to see what is there, you can find them at our builds site. There are PDFs of every section, chapter, and part, but the most interesting files are:
- Sets, Logic, Computation, a textbook selected and remixed from the material in the Open Logic repository (covers set theory, completeness, Turing machines and undecidability).
- Incompleteness and Computability, a textbook selected and remixed from the material in the Open Logic repository (covers recursive functions and the incompleteness theorems).
- Open Logic Text, Complete Clean Version, one big PDF of all the material is available, including experimental parts.
- Open Logic Text, Debug Version, with additional markup to identify source files and OLT-specific commands.
The complete source code of the Open Logic Text is hosted on GitHub. GitHub is a collaboration portal and Git server. Git itself is a revision control system developed for open source software projects. It enables collaborative code projects to keep their code base in sync between many different collaborators. While it’s mostly used for program code, we’re using it for LaTeX code.
To download the source code, you should go to the GitHub repository page. In the bottom right corner you’ll find a link to download the entire repository as a ZIP file. If you don’t know (and don’t want to know) what Git is, use that. It’s better, however, to use Git to download (this is called cloning the repository). You’ll have to install and become familiar with Git; the advantage is that you can then keep your own copy up to date with any changes in the master repository. The best way to get the OLT, however, is to first fork the repository on GitHub, and then clone your forked copy. If you do that, you can not only keep your copy in sync with the master repository, but also easily contribute your own improvements and additions back to us. It requires a (free) account on Github.
To compile the source code into a PDF yourself, you need LaTeX.
All content, except where otherwise noted, is provided under a Creative Commons 4.0 International license, which means you are free to download, print, reuse, modify, and distribute it without further permission as long as you adhere to the terms of the CC-BY license.