*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:

- Download/install the
*Open Logic Text*from GitHub, including photos and line art portraits. - Navigate to the subdirectory
`courses/`

- Put the content of this repository into a subdirectory of it, say
`courses/sets-logic-computation/`

. - To get the graphics for the cover, navigate to the subdirectory
`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.