Proof theory

Computing portal

Here is a list of articles in the Proof theory category of the Computing portal that unifies foundations of mathematics and computations using computers.

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

Subcategories

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

M

Pages in category "Proof theory"

The following 81 pages are in this category, out of 81 total.

Proof theory

A

B

C

D

E

F

G

H

I

Independence (mathematical logic)

J

Judgment (mathematical logic)

L

M

N

O

P

R

S

T

V

Veblen function

Proof theory

Topic: Category

Subcategories

M

P

R

S

Pages in category "Proof theory"

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

R

S

T

V