git clone https://github.com/OpenLogicProject/OpenLogic.git

cd OpenLogic/courses

git clone https://github.com/rzach/incompleteness-computability.git

cd ../assets

git clone https://github.com/OpenLogicProject/portraits.git

git clone https://github.com/OpenLogicProject/photos.git

Inside courses/incompleteness-computability, you can now compile:

pdflatex ic-screen

or just # make if you have latexmk installed. (You’ll also have to do bibtex ic-screen for the bibliography.)

The file ic-screen.tex produces a color version of the text with smaller margins for screen reading. ic-print produces a black-and-white version designed for printing on Crown Quarto stock (without cover).

The file loads ic.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 into the right subdirectory of and compile from there.