Textbook for Calgary's Logic III course based on the Open Logic Project.
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook Incompleteness and Computability, which in turn requires the Open Logic Text.
You can download the PDF of the screen version directly.
To install and compile:
- Download/install the Open Logic Text
- Navigate to the subdirectory
courses/
- Put the content of this repository into a subdirectory of it, say
courses/phil479
.
If you use git
:
# git clone https://github.com/OpenLogicProject/OpenLogic.git
# cd OpenLogic/courses
# git clone https://github.com/rzach/phil479.git
Inside courses/phil479
, you can now compile:
# cd phil479
# pdflatex phil479-screen
or just# make
The file loads phil479.tex
, which contains the actual material. It
in turn includes other files, most of them from the OpenLogic
repository. So you won't get a complete book unless you download this
into the right subdirectory of that and compile from there.
Incompleteness and Computability by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.