Proof Theory

Home > Philosophy > Philosophy of Mathematics > Logic and Set Theory > Proof Theory

An introduction to proof theory, which studies the properties of mathematical proofs.