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

Also see ModelTheory, TheoremProving and ProofOfCorrectness.

----
CategoryLogic