«一阶模态逻辑»

一阶模态逻辑 в энциклопедиях

Поделиться

Большой китайско-русский словарь

_

first-order modal logic