Category:Proof theory

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

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 89 pages are in this category, out of 89 total. This list may not reflect recent changes (learn more).