__Book article:__

** Samuel R. Buss.
"An Introduction to Proof Theory"
in **

** Download article: postscript or PDF. **

** Table of contents: **This is an introduction to proof
complexity.

- Proof theory and Propositional Logic.

Frege proof systems.

The propositional sequent calculus.

Proposition resolution refutations. - Proof theory of first order logic.

Syntax and semantics.

Hilbert-style proof systems.

The first-order sequent calculus.

Cut elimination.

Herbrand's theorem, interpolation and definability theorems.

First-order logic and resolution refutations. - Proof theory for other logics.

Intuitionistic logic.

Linear logic.

** Errata.**