Sets, Logic, Computation is an introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic, e.g., what is covered by forall x.
This repository/directory only contains the LaTeX files and illustrations needed to typeset the textbook Sets, Logic, Computation. It also requires the material in the Open Logic Text.
You can download the PDF of the most recent version from the Open Logic builds site:
We also have archived versions:
You can order a hardcopy of the Fall 2021 edition from Amazon [US|CA|UK|DE|AU].
To install and compile:
courses/
courses/sets-logic-computation/
.OpenLogic/assets
and put the content of photos
into the subdirectory photos
, and the content of portraits
into the subdirectory portraits
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/sets-logic-computation.git
# cd ../assets
# git clone https://github.com/OpenLogicProject/portraits.git
# git clone https://github.com/OpenLogicProject/photos.git
Inside courses/sets-logic-computation/
, you can now
compile:
# pdflatex slc-screen
or just # make
if you have latexmk
installed. (You’ll also have to do
makeglossaries slc-screen
to get the glossary, and
bibtex slc-screen
for the bibliography.)
The file slc-screen.tex
produces a color version of the
text with smaller margins for screen reading. slc-print
produces a black-and-white version designed for printing on Crown Quarto
stock (without cover).
Both versions load slc.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.
Sets, Logic, Computation by Richard Zach is licensed under a Creative Commons Attribution 4.0 International License.