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