Overview

About this Book

Proof theory may be roughly divided into two parts: structural proof theory and interpretational proof theory. Structural proof theory is based on a combinatorial analysis of the structure of formal proofs; the central methods are cut elimination and normalization.