ModelTheory
Last edit November 28, 2003
See
http://en2.wikipedia.org/wiki/Model_theory
Also see
ProofTheory
,
TheoremProving
,
DenotationalSemantics
, and
MathIsModeling
.