Model Theory

view on wiki.c2.com

last modified: November 28, 2003

See http://en2.wikipedia.org/wiki/Model_theory

Also see ProofTheory, TheoremProving, DenotationalSemantics, and MathIsModeling.

I am open-source

Loading...