See http://en2.wikipedia.org/wiki/Model_theory
Also see ProofTheory, TheoremProving, DenotationalSemantics, and MathIsModeling.
Model Theory
Model Theory EditText of this page
(last edited November 28, 2003)
or FindPage with title or text search