This book is broken up into the following sections:

1. The History of Logic
2. Basic Set Theory
3. Turing Machines
4. Statement Logic
5. Predicate Logic