Category:Proof theory
Jump to navigation
Jump to search
Template:Sister project Template:Cat main Template:Contrast Script error: No such module "Portal".
In mathematics, Proof theory is the study of formalized arguments.
Subcategories
This category has the following 2 subcategories, out of 2 total.
R
- Rules of inference (30 P)
S
- Substructural logic (7 P)
Script error: No such module "anchor".Pages in category "Proof theory"
The following 66 pages are in this category, out of 66 total. This list may not reflect recent changes.