1950s; earliest use found in Journal of Symbolic Logic. From model + theoretic, after model theory.
英语词典包含243303条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。