Proof Theory

See http://en.wikipedia.org/wiki/Proof_theory

Also see ModelTheory, TheoremProving and ProofOfCorrectness.

---

CategoryLogic