Categories
  Encyclosphere.org ENCYCLOREADER
  supported by EncyclosphereKSF

Proof theory

Topic: Category

 From HandWiki - Reading time: 2 min

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.

This category is often contrasted with Model theory.

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

Subcategories

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

M

P

R

S

Pages in category "Proof theory"

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

 

A

B

C

D

E

F

G

H

I

J

L

M

N

O

P

R

S

T

V

Retrieved from "https://handwiki.org/wiki/index.php?title=Category:Proof_theory&oldid=538474"
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Proof_theory
72 views |
↧ Download this article as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF