Category:Proof theory
From Wikipedia, the free encyclopedia
Proof theory is the mathematical study of formalised arguments.
Proof theory is often contrasted with Model theory.
Subcategories
This category has the following 4 subcategories, out of 4 total.
M
P
R
S
Pages in category "Proof theory"
The following 81 pages are in this category, out of 81 total. This list may not reflect recent changes (learn more).
