Sets, Logic, Computation
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 required the material in the Open Logic Text.
To install and compile:
- Download/install the Open Logic Text from GitHub, including photos and line art portraits.
- Navigate to the subdirectory
- Put the content of this repository into a subdirectory of it, say
- To get the graphics for the cover, navigate to the subdirectory
OpenLogic/assetsand put the content of
photosinto the subdirectory
photos, and the content of
portraitsinto the subdirectory
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
courses/sets-logic-computation/, you can now compile:
# pdflatex slc-screen
# make if you have
latexmk installed. (You'll also have to
makeglossaries slc-screen to get the glossary, and
bibtex slc-screen for the bibliography.)
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
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.