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.
Logic · Index of logic articles · Outline of logic 

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

Subcategories

This category has the following 5 subcategories, out of 5 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).

 

*

A

B

C

D

E

F

G

G cont.

H

I

J

L

M

N

O

P

P cont.

R

S

T

U

V

W

Z