In mathematics, Proof theory is the study of formalized arguments.
This category has the following 6 subcategories, out of 6 total.
Pages in category "Proof theory"
The following 89 pages are in this category, out of 89 total. This list may not reflect recent changes (learn more).