Return to Revisions

2 of 2

added 190 characters in body

edit approved Jul 2, 2013 at 20:37

1.2k
5
16
21

Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models. (From Chang and Keisler's Model Theory, 1973)