Category:Proof theory
From Free net encyclopedia
Proof theory is the mathematical study of formalised arguments.
See also proofs category.zh:Category:证明论
Proof theory is the mathematical study of formalised arguments.
See also proofs category.zh:Category:证明论