Error
From HandWiki
The revision #3101202 of the page named "Category:Proof theory" does not exist.
This is usually caused by following an outdated history link to a page that has been deleted. Details can be found in the deletion log.
Subcategories
This category has the following 7 subcategories, out of 7 total.
M
- Mathematical induction (8 P)
P
- Proof theorists (12 P)
- Provability logic (6 P)
R
- Rules of inference (44 P)
S
Pages in category "Proof theory"
The following 104 pages are in this category, out of 104 total.
B
C
D
E
G
N
P
- Philosophy:Paraconsistent mathematics
- Philosophy:Peano–Russell notation
- Presburger arithmetic
- Primitive recursive functional
- Proof (truth)
- Philosophy:Proof calculus
- Philosophy:Proof compression
- Philosophy:Proof mining
- Philosophy:Proof net
- Philosophy:Proof procedure
- Proof-theoretic semantics
- Philosophy:Provability logic
- Ψ0(Ωω)
- Ψ₀(Ωω)
- Pure type system