فورمالنى ئىپادىلەيدىغان سېماسيولوگىيە

ماتېماتىكا 形式表示语义学 xíng shì biǎo shì yǔ yì xué