Back-and-forth method is an important tool for studying model theory and its application.
向前向后方法是模型论及其应用研究中的一个很重要的工具。
Agas breakdown model theory was suggested by the author.
作者提出了气体击穿理论模型。
Back and forth method is a new tool in study of model theory and its application.
向前向后方法是模型论及其应用研究中的一个新的工具。
Continuous model theory also preserves many key properties of classical model theory.
连续模型论拥有很多经典模型论所拥有的重要性质。
Continuous model theory also preserves many key properties of classical model theory.
连续模型论拥有很多经典模型论所拥有的重要性质。
应用推荐