[Chad and Samara have documented the steps required to download and compile the Open Logic Text, and written a “quick […]
News
Summary of Options for Converting the OLP to Other Formats
[Chad is investigating options for converting the OLT to formats other than PDF. Other open textbook projects, especially in mathematics, […]
Wiki Now Part of Git Repository
The Github Wiki we use to document aspects of the project is now a submodule in the OpenLogic repository. If […]
Free Logic Textbooks
The Open Logic Text may be one of only two open source logic texts, but there are other open, and […]
What is Git and Why Use It?
The Open Logic Project is using Git to keep track of changes to the texts, facilitate collaborative authoring, and to […]
Git for Philosophers (pt. 1)
What is Git? When software developers work on complex programming projects, they use something called a revision control system. A […]
Made the Daily Nous!
The Daily Nous covered the Open Logic Project today, suggested an alternative logo that might fit better with the anarchical […]
Avigad’s Notes on Computability, Incompleteness
Jeremy Avigad’s notes in incompleteness and computability are now incorporated into the repository.
LaTeXML
This will come in handy: a LaTeX to XML converter http://dlmf.nist.gov/LaTeXML/
The Open Logic Project: Talk at DASHLab
Nicole Wyatt and Richard Zach presented the project at the DASHLab Talks in January 2014 at the University of Calgary. […]