nLab
proof theory
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
Idea
A part of
mathematical logic
References
Wikipedia,
Proof theory
.
Created on September 5, 2012 14:42:22 by
Urs Schreiber
(131.174.191.191)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
foundation of mathematics
,
logic
,
sequent calculus
,
weak counterexample
,
second-order arithmetic