Category:Proof theory

Proof theory is the mathematical study of formalised arguments.

See also proofs category.

eo:Kategorio:Pruva teorio zh:Category:证明论