Category:Proof theory

The main article for this category is Proof theory.
This category 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 95 pages are in this category, out of 95 total. This list may not reflect recent changes.

 

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

R

S

T

V

W

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Proof_theory&oldid=953110220"
Uses material from the Wikipedia article Category:Proof theory, released under the CC BY-SA 4.0 license.