公理化语义

公理化语义

拼音： gōng lǐ huà yǔ yì
日本語訳 公理的意味論、公理論的セマンティクス