«高阶谓词逻辑»

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

Источники

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

Поделиться

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

_

higher-order predicate logic, predicate logic of higher order