Category:Proof theory
From Free net encyclopedia
Revision as of 16:11, 12 April 2006; view current revision
←Older revision | Newer revision→
←Older revision | Newer revision→
Proof theory is the mathematical study of formalised arguments.
See also proofs category.zh:Category:证明论