Category:Proof theory
From Free net encyclopedia
(Difference between revisions)
Current revision
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:证明论