«高阶逻辑»

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

Источники

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

Поделиться

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

_

high-order logic, higher order logic