Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.
jeq
- 1.2k
- 5
- 16
- 21