nLab
proof theory

Contents

Idea

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

References

Revised on March 10, 2015 11:58:56 by Urs Schreiber (78.102.213.29)