From Wikipedia, the free encyclopedia
Proof theory is often contrasted with Model theory.
|Logic · Index of logic articles · Outline of logic|
In mathematics, Proof theory is the study of formalized arguments.
This category has the following 5 subcategories, out of 5 total.
The following 87 pages are in this category, out of 87 total. This list may not reflect recent changes (learn more).