Table of Contents

Part 1. Proofs.
Predicate Logic.
Models.
Part 2. Algorithms.
Computable functions.
Computation as a sequence of small steps.
Part 3. Proofs and algorithms.
Church's theorem.
Automated theorem proving.
Decidable theories.
Constructivity.