Short Table of Contents

1. Introduction
2. How to Run Tutch
3. Proofs in Propositional Logic
4. Proof Terms for Propositional Logic
5. Types and Programs
6. First-Order Logic
7. Arithmetic
8. Structural Induction
A. Reference
B. Emacs Quickstart