Textbook on basic set theory, first-order logic, and Gödel’s incompleteness theorems, developed for McGill’s Intermediate Logic course, based on the Open Logic Project.
Download the PDF here.
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook Intermediate logic, which in turn requires the Open Logic Text.
To install and compile:
If you use
git, this should do it:
# git clone https://github.com/OpenLogicProject/OpenLogic.git # cd OpenLogic/courses # git clone https://github.com/rzach/intermediate-logic.git # cd ../assets # git clone https://github.com/OpenLogicProject/portraits.git # git clone https://github.com/OpenLogicProject/photos.git
courses/intermediate-logic, you can now
# pdflatex il-screen
# make if you have
installed. (You’ll also have to do
bibtex il-screen for the
il-screen.tex produces a color version of the
text with smaller margins for screen reading.
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
Intermediate Logic by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.