Category:Proof Theory
Jump to navigation
Jump to search
This category contains results about Proof Theory.
Definitions specific to this category can be found in Definitions/Proof Theory.
Proof theory is the subfield of mathematical logic which studies proofs as mathematical objects, thus allowing them to be analysed mathematically.
Pages in category "Proof Theory"
The following 4 pages are in this category, out of 4 total.