Category:Proof theory
From Free net encyclopedia
(Difference between revisions)
| Revision as of 16:11, 12 April 2006 Jpbowen (Talk | contribs) Updated intro ← Previous diff |
Current revision Jpbowen (Talk | contribs) Updated intro |
Current revision
Proof theory is the mathematical study of formalised arguments.
See also proofs category.zh:Category:证明论