See http://en.wikipedia.org/wiki/Proof_theory
Also see ModelTheory, TheoremProving and ProofOfCorrectness.
CategoryLogic
Proof Theory
Proof Theory EditText of this page
(last edited December 21, 2003)
or FindPage with title or text search