nLab
proof theory

Contents

Idea

A part of mathematical logic concerned with the notion of proof.

References

Revised on July 10, 2013 11:41:43 by Urs Schreiber (82.169.65.155)