Category:Proof theory

From Wikipedia, the free encyclopedia
Jump to: navigation, search
The main article for this category is Proof theory.
Proof theory is often contrasted with Model theory.

In mathematics, Proof theory is the study of formalized arguments.

Subcategories

This category has the following 6 subcategories, out of 6 total.

M

P

R

S

Pages in category "Proof theory"

The following 88 pages are in this category, out of 88 total. This list may not reflect recent changes (learn more).