Return to Revisions

2 of 2

added 142 characters in body

Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.