nLab
proof theory

Contents

Idea

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

References

Revised on January 25, 2015 15:20:58 by Noam Zeilberger (176.189.43.179)