ProofTheory
Last edit December 21, 2003
See
http://en.wikipedia.org/wiki/Proof_theory
Also see
ModelTheory
,
TheoremProving
and
ProofOfCorrectness
.
CategoryLogic