从自然语言的真值条件到模型论语义学
종자연어언적진치조건도모형론어의학
From Truth Conditions of Natural Language to its Model-theoretical Semantics